commit 51ef424212f4bf315ddbedade152ae861d836fd8
author Pierre-Yves B. <PyvesDev@gmail.com> Wed May 08 20:59:39 2019 +0100
committer Andrey Loskutov <loskutov@gmx.de> Thu May 09 01:15:17 2019 -0400
tree 3242e1c7157dd5a517e00e9bb12cbc987e1549e7
parent 1ae1f3baeaf8cdb3570b9c23665176335cce0014

Bug 547053 - [block selection] Default font is still "Monaco" on macOS

Change-Id: Ib328e9f3407db5ed0ea27f31044055585deb3cb6
Signed-off-by: Pierre-Yves B. <PyvesDev@gmail.com>

org.eclipse.ui.workbench.texteditor/plugin.xml

diff --git a/org.eclipse.ui.workbench.texteditor/plugin.xml b/org.eclipse.ui.workbench.texteditor/plugin.xml
index 2eb3973..c30f966 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