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 | Attempt to fix build after removal of Linux c6. (diff) | |
java/eclipse: upgrade 4.12 -> 4.14
PR: 243017
Submitted by: Jonathan Chen <jonc@chen.org.nz> (maintainer)
Relnotes: https://www.eclipse.org/eclipseide/2019-12/noteworthy/
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> |