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.properties | |
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.properties')
-rw-r--r-- | org.eclipse.egit.ui/plugin.properties | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/org.eclipse.egit.ui/plugin.properties b/org.eclipse.egit.ui/plugin.properties index 4415fed19e..6fdcd64a12 100644 --- a/org.eclipse.egit.ui/plugin.properties +++ b/org.eclipse.egit.ui/plugin.properties @@ -103,6 +103,12 @@ Theme_DiffHeadlineBackgroundColor_label=Diff Headline (Background) Theme_DiffHeadlineBackgroundColor_description=This color is used for the background color for the first line of a file (headline) in the commit viewer. Theme_DiffHeadlineFont_label=Diff Headline (Font) Theme_DiffHeadlineFont_description=This font is used for the the first line of a file (headline) in the commit viewer. +Theme_IgnoredResourceForegroundColor_label=Ignored Resource (Foreground) +Theme_IgnoredResourceForegroundColor_description=This color is used for the foreground color for resources that are ignored. +Theme_IgnoredResourceBackgroundColor_label=Ignored Resource (Background) +Theme_IgnoredResourceBackgroundColor_description=This color is used for the background color for resources that are ignored. +Theme_IgnoredResourceFont_label=Ignored Resource (Font) +Theme_IgnoredResourceFont_description=The font used to display resources that are ignored. GitPreferences_name=Git GitPreferences_WindowCachePreferencePage_name=Window Cache |