diff options
author | Mickael Istria | 2016-10-13 07:48:59 +0000 |
---|---|---|
committer | Mickael Istria | 2016-10-13 17:20:39 +0000 |
commit | aa914d41a7dc9eda9677687190f78ac64bacf9be (patch) | |
tree | 753c1f42775473cfb99a07a1539195ca33e79313 | |
parent | 1a9d72873c8c8c2b74bc39442a3a66dc786a9cf2 (diff) | |
download | eclipse.platform.text-aa914d41a7dc9eda9677687190f78ac64bacf9be.tar.gz eclipse.platform.text-aa914d41a7dc9eda9677687190f78ac64bacf9be.tar.xz eclipse.platform.text-aa914d41a7dc9eda9677687190f78ac64bacf9be.zip |
Bug 492202 - Zoom In/Out on block selection
Making default block font default to the regular text font reduces the
probability for non-operational zoom commands to happen (as long as user
doesn't override the Block Selection font, both are in sync and zoom
works with block selection).
Change-Id: Ic3bbb7a9fcd2798c459222b0f15bf672a9710e6f
Signed-off-by: Mickael Istria <mistria@redhat.com>
-rw-r--r-- | org.eclipse.ui.workbench.texteditor/plugin.xml | 17 |
1 files changed, 1 insertions, 16 deletions
diff --git a/org.eclipse.ui.workbench.texteditor/plugin.xml b/org.eclipse.ui.workbench.texteditor/plugin.xml index 5c0da367174..898368b0f06 100644 --- a/org.eclipse.ui.workbench.texteditor/plugin.xml +++ b/org.eclipse.ui.workbench.texteditor/plugin.xml @@ -1265,26 +1265,11 @@ <fontDefinition categoryId="org.eclipse.ui.workbenchMisc" id="org.eclipse.ui.workbench.texteditor.blockSelectionModeFont" - isEditable="true" label="%blockSelectionModeFont.label" - value="Courier New-regular-10"> + defaultsTo="org.eclipse.jface.textfont"> <description> %blockSelectionModeFont.description </description> - <fontValue - os="linux" - value="Monospace-regular-10" - ws="gtk"> - </fontValue> - <fontValue - os="win32" - value="Consolas-regular-10" - > - </fontValue> - <fontValue - os="macosx" - value="Monaco-regular-11"> - </fontValue> </fontDefinition> </extension> |