diff options
| author | Tomasz Zarna | 2013-07-29 21:35:40 +0000 |
|---|---|---|
| committer | Robin Stocker | 2013-08-09 14:10:49 +0000 |
| commit | c2d3cc4359f4e08bea062962f431aff799976658 (patch) | |
| tree | a0ed95b1aa64106be6a82278cad79dc3dc581e03 /org.eclipse.egit.ui/plugin.xml | |
| parent | c65156b5205beb3179abcc11ae47c4110e36ad5f (diff) | |
| download | egit-c2d3cc4359f4e08bea062962f431aff799976658.tar.gz egit-c2d3cc4359f4e08bea062962f431aff799976658.tar.xz egit-c2d3cc4359f4e08bea062962f431aff799976658.zip | |
Allow user to configure decoration of ignored resources
By default, they are not decorated. Font and color decoration can be
configured in preferences General > Appearance > Colors and Fonts.
Bug: 409998
Change-Id: I29cd5b69e4858aefbedd1c25cf0573737a0afd48
Signed-off-by: Tomasz Zarna <tomasz.zarna@tasktop.com>
Signed-off-by: Robin Stocker <robin@nibor.org>
Diffstat (limited to 'org.eclipse.egit.ui/plugin.xml')
| -rw-r--r-- | org.eclipse.egit.ui/plugin.xml | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/org.eclipse.egit.ui/plugin.xml b/org.eclipse.egit.ui/plugin.xml index 702891f9a4..2ac4704c8b 100644 --- a/org.eclipse.egit.ui/plugin.xml +++ b/org.eclipse.egit.ui/plugin.xml @@ -684,6 +684,32 @@ %Theme_DiffHeadlineFont_description </description> </fontDefinition> + <colorDefinition + id="org.eclipse.egit.ui.IgnoredResourceForegroundColor" + categoryId="org.eclipse.egit.ui.GitTheme" + label="%Theme_IgnoredResourceForegroundColor_label" + value="COLOR_LIST_FOREGROUND"> + <description> + %Theme_IgnoredResourceForegroundColor_description + </description> + </colorDefinition> + <colorDefinition + id="org.eclipse.egit.ui.IgnoredResourceBackgroundColor" + categoryId="org.eclipse.egit.ui.GitTheme" + label="%Theme_IgnoredResourceBackgroundColor_label" + value="COLOR_LIST_BACKGROUND"> + <description> + %Theme_IgnoredResourceBackgroundColor_description + </description> + </colorDefinition> + <fontDefinition + categoryId="org.eclipse.egit.ui.GitTheme" + id="org.eclipse.egit.ui.IgnoredResourceFont" + label="%Theme_IgnoredResourceFont_label"> + <description> + %Theme_IgnoredResourceFont_description + </description> + </fontDefinition> </extension> <!-- ********** QuickDiff text editor support ************** --> |