diff options
Diffstat (limited to 'org.eclipse.ui.genericeditor/resources/css/dark.css')
| -rw-r--r-- | org.eclipse.ui.genericeditor/resources/css/dark.css | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/org.eclipse.ui.genericeditor/resources/css/dark.css b/org.eclipse.ui.genericeditor/resources/css/dark.css new file mode 100644 index 00000000000..34c46b58c9d --- /dev/null +++ b/org.eclipse.ui.genericeditor/resources/css/dark.css @@ -0,0 +1,16 @@ +/******************************************************************************* + * Copyright (c) 2017 Red Hat Inc. 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 + * http://www.eclipse.org/legal/epl-v10.html + * + * Contributors: + * Lucas Bullen (Red Hat Inc.) - initial implementation + *******************************************************************************/ + +IEclipsePreferences#org-eclipse-ui-editors:org-eclipse-ui-genericeditor { + preferences: + 'TextOccurrenceIndicationColor=27,98,145' +} + |