diff options
| author | Fabian Pfaff | 2017-04-06 20:13:15 +0000 |
|---|---|---|
| committer | Matthias Becker | 2018-02-13 09:05:13 +0000 |
| commit | 0c046c2f7805a1239aa978cee2ab21b1577307ed (patch) | |
| tree | f2bedae74701350bb1e7a21d0ceb815e01838c09 /org.eclipse.ui.workbench.texteditor/plugin.xml | |
| parent | 96e7c74fbe4889ee584a84c73a954c4756e5f268 (diff) | |
| download | eclipse.platform.text-0c046c2f7805a1239aa978cee2ab21b1577307ed.tar.gz eclipse.platform.text-0c046c2f7805a1239aa978cee2ab21b1577307ed.tar.xz eclipse.platform.text-0c046c2f7805a1239aa978cee2ab21b1577307ed.zip | |
bug 514043 - [Dark Theme] range indicator color should be
configurable via preferences
Change-Id: I6586f77f3e200677afc251bfc84a42f6d6513887
Signed-off-by: Fabian Pfaff <fabian.pfaff@vogella.com>
Diffstat (limited to 'org.eclipse.ui.workbench.texteditor/plugin.xml')
| -rw-r--r-- | org.eclipse.ui.workbench.texteditor/plugin.xml | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/org.eclipse.ui.workbench.texteditor/plugin.xml b/org.eclipse.ui.workbench.texteditor/plugin.xml index 558c966b358..d51f0cc2d15 100644 --- a/org.eclipse.ui.workbench.texteditor/plugin.xml +++ b/org.eclipse.ui.workbench.texteditor/plugin.xml @@ -1302,6 +1302,15 @@ value="Monaco-regular-11"> </fontValue> </fontDefinition> + <colorDefinition + categoryId="org.eclipse.ui.workbenchMisc" + id="org.eclipse.ui.editors.rangeIndicatorColor" + label="%Color.rangeIndicator" + value="COLOR_LIST_SELECTION"> + <description> + %Color.rangeIndicatorDesc + </description> + </colorDefinition> </extension> <extension |