diff options
| author | Kurt Jaeger <pi@FreeBSD.org> | 2020-01-02 11:19:08 +0000 |
|---|---|---|
| committer | Kurt Jaeger <pi@FreeBSD.org> | 2020-01-02 11:19:08 +0000 |
| commit | ec45db21d54b46f0465611d418736dfe4d104dec (patch) | |
| tree | 5892c947d7bfcd08dfca64745ea7321551c78307 /java/eclipse/files/patch-eclipse.platform.text | |
| parent | f14e43a0cffac9b013df5cb7c15e626f0d3462b1 (diff) | |
Notes
Diffstat (limited to 'java/eclipse/files/patch-eclipse.platform.text')
| -rw-r--r-- | java/eclipse/files/patch-eclipse.platform.text | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/java/eclipse/files/patch-eclipse.platform.text b/java/eclipse/files/patch-eclipse.platform.text new file mode 100644 index 000000000000..ee23d19bf2d3 --- /dev/null +++ b/java/eclipse/files/patch-eclipse.platform.text @@ -0,0 +1,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> |