forked from Lainports/freebsd-ports
a0c13b4a90
This release is 1.5 years overdue and 6 months out-of-date, but is an important interim step to the 4.24 release due in June 2022. Massive thanks go to Patrick Mackinlay who resolved the 2 critical bugs preventing update from coming out sooner! Author: Jonathan Chen <jonc@chen.org.nz> PR: 264400
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
|
|
@@ -1312,7 +1312,7 @@
|
|
%blockSelectionModeFont.description
|
|
</description>
|
|
<fontValue
|
|
- os="linux"
|
|
+ os="freebsd"
|
|
value="Monospace-regular-10"
|
|
ws="gtk">
|
|
</fontValue>
|