Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-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