diff options
| author | Lars Vogel | 2017-03-22 11:00:22 +0000 |
|---|---|---|
| committer | Lars Vogel | 2017-03-22 11:00:22 +0000 |
| commit | dd2c244b71479d86719da8364f24b393b5c4f3c4 (patch) | |
| tree | 658993c0391bc7e8386290b3586aedca652d1a76 | |
| parent | b113731f0f6b10915cc40838e7fe99442949f69e (diff) | |
| download | eclipse.platform.ui-dd2c244b71479d86719da8364f24b393b5c4f3c4.tar.gz eclipse.platform.ui-dd2c244b71479d86719da8364f24b393b5c4f3c4.tar.xz eclipse.platform.ui-dd2c244b71479d86719da8364f24b393b5c4f3c4.zip | |
Revert "Bug 514034 - [Dark Theme] Disable show range indicator in the dark theme"
This reverts commit b113731f0f6b10915cc40838e7fe99442949f69e.
Change-Id: I630802b108c42777ac9d3959c7079326ae156963
| -rw-r--r-- | bundles/org.eclipse.ui.themes/css/dark/e4-dark_preferencestyle.css | 3 |
1 files changed, 1 insertions, 2 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 2602ee64a22..f03c821a66d 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 @@ -1,5 +1,5 @@ /******************************************************************************* - * Copyright (c) 2014, 2017 Lars Vogel and others. + * Copyright (c) 2014, 2015 Lars Vogel and others. * All rights reserved. This program and the accompanying materials * are made available under the terms of the Eclipse Public License v1.0 * which accompanies this distribution, and is available at @@ -46,7 +46,6 @@ IEclipsePreferences#org-eclipse-ui-editors { 'searchResultTextStyle=BOX' 'secondaryIPColor=54,54,54' 'spellingIndicationColor=253,170,211' - 'show_range_indicator=false' 'writeOccurrenceIndicationColor=27,98,145' } |