diff options
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 |