Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDani Megert2016-10-14 07:48:40 +0000
committerDani Megert2016-10-14 07:48:40 +0000
commit4e0ccc65bc342e12a6b0de55d9b4bbca90ed5179 (patch)
treece0a499280a98fb181da4e9f074092b6fc76a506
parentaa914d41a7dc9eda9677687190f78ac64bacf9be (diff)
downloadeclipse.platform.text-4e0ccc65bc342e12a6b0de55d9b4bbca90ed5179.tar.gz
eclipse.platform.text-4e0ccc65bc342e12a6b0de55d9b4bbca90ed5179.tar.xz
eclipse.platform.text-4e0ccc65bc342e12a6b0de55d9b4bbca90ed5179.zip
Revert "Bug 492202 - Zoom In/Out on block selection"
This reverts commit aa914d41a7dc9eda9677687190f78ac64bacf9be. That change destroys the block selection feature if a non-monospaced font is used. Change-Id: Iffca15bb9f5bc672e761d374344e3206310f653f
-rw-r--r--org.eclipse.ui.workbench.texteditor/plugin.xml17
1 files changed, 16 insertions, 1 deletions
diff --git a/org.eclipse.ui.workbench.texteditor/plugin.xml b/org.eclipse.ui.workbench.texteditor/plugin.xml
index 898368b0f..5c0da3671 100644
--- a/org.eclipse.ui.workbench.texteditor/plugin.xml
+++ b/org.eclipse.ui.workbench.texteditor/plugin.xml
@@ -1265,11 +1265,26 @@
<fontDefinition
categoryId="org.eclipse.ui.workbenchMisc"
id="org.eclipse.ui.workbench.texteditor.blockSelectionModeFont"
+ isEditable="true"
label="%blockSelectionModeFont.label"
- defaultsTo="org.eclipse.jface.textfont">
+ value="Courier New-regular-10">
<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