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.properties | |
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.properties')
-rw-r--r-- | org.eclipse.ui.workbench.texteditor/plugin.properties | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/org.eclipse.ui.workbench.texteditor/plugin.properties b/org.eclipse.ui.workbench.texteditor/plugin.properties index a87812f3751..4f2184330ff 100644 --- a/org.eclipse.ui.workbench.texteditor/plugin.properties +++ b/org.eclipse.ui.workbench.texteditor/plugin.properties @@ -186,6 +186,9 @@ command.joinLines.name = Join Lines command.openHyperlink.name= Open Hyperlink command.openHyperlink.description= Opens the hyperlink at the caret location or opens a chooser if more than one hyperlink is available +Color.rangeIndicator= Range indicator color +Color.rangeIndicatorDesc= The color that is used for the ruler that marks the range of the current selected text block. + SpellingEngine= Spelling Engine blockSelectionModeFont.label= Text Editor Block Selection Font |