blob: ee23d19bf2d32dd40b9007a4e72c3d39942d55b1 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
|
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>
|