diff options
| author | Pierre-Yves B. | 2019-05-08 19:59:39 +0000 |
|---|---|---|
| committer | Andrey Loskutov | 2019-05-09 05:15:17 +0000 |
| commit | 51ef424212f4bf315ddbedade152ae861d836fd8 (patch) | |
| tree | 3242e1c7157dd5a517e00e9bb12cbc987e1549e7 | |
| parent | 1ae1f3baeaf8cdb3570b9c23665176335cce0014 (diff) | |
| download | eclipse.platform.text-51ef424212f4bf315ddbedade152ae861d836fd8.tar.gz eclipse.platform.text-51ef424212f4bf315ddbedade152ae861d836fd8.tar.xz eclipse.platform.text-51ef424212f4bf315ddbedade152ae861d836fd8.zip | |
Bug 547053 - [block selection] Default font is still "Monaco" on macOSI20190519-1800I20190518-1800I20190517-1800I20190516-1800I20190516-1405I20190516-1335I20190516-1250I20190516-1200I20190516-1055I20190515-1800I20190515-0205I20190513-1800I20190512-1800I20190511-1800I20190510-1800I20190509-1800
Change-Id: Ib328e9f3407db5ed0ea27f31044055585deb3cb6
Signed-off-by: Pierre-Yves B. <PyvesDev@gmail.com>
| -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 |