mirror of
https://git.freebsd.org/ports.git
synced 2025-05-05 16:07:38 -04:00
12 lines
632 B
Text
12 lines
632 B
Text
diff -ru eclipse.platform.text/org.eclipse.ui.workbench.texteditor/plugin.xml eclipse.platform.text/org.eclipse.ui.workbench.texteditor/plugin.xml
|
|
--- eclipse.platform.text/org.eclipse.ui.workbench.texteditor/plugin.xml 0000-00-00 00:00:00.000000000 +0000
|
|
+++ eclipse.platform.text/org.eclipse.ui.workbench.texteditor/plugin.xml 0000-00-00 00:00:00.000000000 +0000
|
|
@@ -1354,7 +1354,7 @@
|
|
%blockSelectionModeFont.description
|
|
</description>
|
|
<fontValue
|
|
- os="linux"
|
|
+ os="freebsd"
|
|
value="Monospace-regular-10"
|
|
ws="gtk">
|
|
</fontValue>
|