Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorPierre-Yves B.2019-05-08 15:59:39 -0400
committerAndrey Loskutov2019-05-09 01:15:17 -0400
commit51ef424212f4bf315ddbedade152ae861d836fd8 (patch)
tree3242e1c7157dd5a517e00e9bb12cbc987e1549e7
parent1ae1f3baeaf8cdb3570b9c23665176335cce0014 (diff)
downloadeclipse.platform.text-I20190516-1250.tar.gz
eclipse.platform.text-I20190516-1250.tar.xz
eclipse.platform.text-I20190516-1250.zip
Change-Id: Ib328e9f3407db5ed0ea27f31044055585deb3cb6 Signed-off-by: Pierre-Yves B. <PyvesDev@gmail.com>
-rw-r--r--org.eclipse.ui.workbench.texteditor/plugin.xml2
1 files changed, 1 insertions, 1 deletions
diff --git a/org.eclipse.ui.workbench.texteditor/plugin.xml b/org.eclipse.ui.workbench.texteditor/plugin.xml
index 2eb3973ad..c30f966af 100644
--- a/org.eclipse.ui.workbench.texteditor/plugin.xml
+++ b/org.eclipse.ui.workbench.texteditor/plugin.xml
@@ -1299,7 +1299,7 @@
</fontValue>
<fontValue
os="macosx"
- value="Monaco-regular-11">
+ value="Menlo-regular-12">
</fontValue>
</fontDefinition>
<colorDefinition

Back to the top