blob: fd282684742d87d89dc9df7a1fdc62b1961afae8 (
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
@@ -1312,7 +1312,7 @@
%blockSelectionModeFont.description
</description>
<fontValue
- os="linux"
+ os="freebsd"
value="Monospace-regular-10"
ws="gtk">
</fontValue>
|
