mirror of
https://git.freebsd.org/ports.git
synced 2025-06-13 00:30:33 -04:00
ec45db21d5
PR: 243017 Submitted by: Jonathan Chen <jonc@chen.org.nz> (maintainer) Relnotes: https://www.eclipse.org/eclipseide/2019-12/noteworthy/
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
|
|
@@ -1298,7 +1298,7 @@
|
|
%blockSelectionModeFont.description
|
|
</description>
|
|
<fontValue
|
|
- os="linux"
|
|
+ os="freebsd"
|
|
value="Monospace-regular-10"
|
|
ws="gtk">
|
|
</fontValue>
|