diff options
| author | Dani Megert | 2016-10-14 07:48:40 +0000 |
|---|---|---|
| committer | Dani Megert | 2016-10-14 07:48:40 +0000 |
| commit | 4e0ccc65bc342e12a6b0de55d9b4bbca90ed5179 (patch) | |
| tree | ce0a499280a98fb181da4e9f074092b6fc76a506 /org.eclipse.ui.workbench.texteditor | |
| parent | aa914d41a7dc9eda9677687190f78ac64bacf9be (diff) | |
| download | eclipse.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
Diffstat (limited to 'org.eclipse.ui.workbench.texteditor')
| -rw-r--r-- | org.eclipse.ui.workbench.texteditor/plugin.xml | 17 |
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 898368b0f06..5c0da367174 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> |