diff options
| author | Vincenzo Caselli | 2021-05-28 21:16:15 +0000 |
|---|---|---|
| committer | Lars Vogel | 2021-06-07 11:02:00 +0000 |
| commit | 71cda5e217c1ba093d0f1f00eedac69f7eacc69d (patch) | |
| tree | 66468db3bdc7b15ff08c1a10f2ce047e832ebb7f | |
| parent | 5c74a7e51addb8e513fa55171365a2dfde31cc6f (diff) | |
| download | eclipse.platform.ui-71cda5e217c1ba093d0f1f00eedac69f7eacc69d.tar.gz eclipse.platform.ui-71cda5e217c1ba093d0f1f00eedac69f7eacc69d.tar.xz eclipse.platform.ui-71cda5e217c1ba093d0f1f00eedac69f7eacc69d.zip | |
Bug 573634 - [DarkTheme] Default red color for Preference, Print Margin
Using similar color as the light theme, but lighter (81,86,88)
Change-Id: Ia9204ac960dba6ed4b2d3cba318533811f1d2803
Signed-off-by: Vincenzo Caselli <vincenzo.caselli@rcp-vision.com>
Reviewed-on: https://git.eclipse.org/r/c/platform/eclipse.platform.ui/+/181151
Tested-by: Platform Bot <platform-bot@eclipse.org>
Reviewed-by: Lars Vogel <Lars.Vogel@vogella.com>
| -rw-r--r-- | bundles/org.eclipse.ui.themes/css/dark/e4-dark_preferencestyle.css | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bundles/org.eclipse.ui.themes/css/dark/e4-dark_preferencestyle.css b/bundles/org.eclipse.ui.themes/css/dark/e4-dark_preferencestyle.css index 3d2fa045cde..b85b9a3cb89 100644 --- a/bundles/org.eclipse.ui.themes/css/dark/e4-dark_preferencestyle.css +++ b/bundles/org.eclipse.ui.themes/css/dark/e4-dark_preferencestyle.css @@ -42,7 +42,7 @@ IEclipsePreferences#org-eclipse-ui-editors:org-eclipse-ui-themes { /* pseudo att 'matchingTagIndicationColor=72,72,72' 'occurrenceIndicationColor=27,98,145' 'overrideIndicatorColor=78,120,117' - 'printMarginColor=255,0,0' + 'printMarginColor=81,86,88' 'searchResultHighlighting=false' 'searchResultIndication=true' 'searchResultIndicationColor=94,94,94' |