Skip to main content
summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorMickael Istria2016-10-13 07:48:59 +0000
committerMickael Istria2016-10-13 17:20:39 +0000
commitaa914d41a7dc9eda9677687190f78ac64bacf9be (patch)
tree753c1f42775473cfb99a07a1539195ca33e79313
parent1a9d72873c8c8c2b74bc39442a3a66dc786a9cf2 (diff)
downloadeclipse.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.xml17
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>

Back to the top