diff options
-rw-r--r-- | org.eclipse.ui.workbench.texteditor/plugin.xml | 2 |
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 2eb3973ad29..c30f966af03 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 |