diff options
| author | Markus Keller | 2016-04-21 17:51:55 +0000 |
|---|---|---|
| committer | Markus Keller | 2016-04-21 17:51:55 +0000 |
| commit | 579ff36747d2c917fc9edc055a8ce753284c2f4c (patch) | |
| tree | 561360be807592fb033dd06f8d5949963469e2ae /org.eclipse.ui.workbench.texteditor | |
| parent | f235fe0e9b54bf7ec105592bfa5cdff9f8e34e29 (diff) | |
| download | eclipse.platform.text-579ff36747d2c917fc9edc055a8ce753284c2f4c.tar.gz eclipse.platform.text-579ff36747d2c917fc9edc055a8ce753284c2f4c.tar.xz eclipse.platform.text-579ff36747d2c917fc9edc055a8ce753284c2f4c.zip | |
Bug 324810: [block selection] specify a win7 font value for org.eclipse.ui.workbench.texteditor.blockSelectionModeFont
Diffstat (limited to 'org.eclipse.ui.workbench.texteditor')
| -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 0feff3f88c8..1f1e4b2b4e1 100644 --- a/org.eclipse.ui.workbench.texteditor/plugin.xml +++ b/org.eclipse.ui.workbench.texteditor/plugin.xml @@ -1278,7 +1278,7 @@ </fontValue> <fontValue os="win32" - value="Courier New-regular-10" + value="Consolas-regular-10" > </fontValue> <fontValue |