diff options
3 files changed, 3 insertions, 2 deletions
diff --git a/bundles/code/org.eclipse.fx.code.editor.fx.themes/css/dark-highlight.css b/bundles/code/org.eclipse.fx.code.editor.fx.themes/css/dark-highlight.css index ee05dbde2..1fa85d187 100644 --- a/bundles/code/org.eclipse.fx.code.editor.fx.themes/css/dark-highlight.css +++ b/bundles/code/org.eclipse.fx.code.editor.fx.themes/css/dark-highlight.css @@ -8,6 +8,7 @@ -source-editor-bracket: #b8c4d1; -source-editor-keyword: #d78b40; -source-editor-string: #7c986c; + -source-editor-number: #b6c8ad; -source-editor-doc: #929292; -source-editor-api-doc: #74a567; -source-editor-buitin-type: rgb(255,235,121); diff --git a/bundles/code/org.eclipse.fx.code.editor.fx.themes/css/highlight.css b/bundles/code/org.eclipse.fx.code.editor.fx.themes/css/highlight.css index 89f1383d2..a30a76cc1 100644 --- a/bundles/code/org.eclipse.fx.code.editor.fx.themes/css/highlight.css +++ b/bundles/code/org.eclipse.fx.code.editor.fx.themes/css/highlight.css @@ -10,7 +10,7 @@ -source-editor-bracket: rgb(0, 0, 0); -source-editor-keyword: rgb(127, 0, 85); -source-editor-string: rgb(42, 0, 255); - -source-editor-number: rgb(42, 0, 255); + -source-editor-number: #6c83c4; -source-editor-doc: rgb(63, 127, 95); -source-editor-api-doc: rgb(63, 95, 191); -source-editor-buitin-type: #74a567; diff --git a/bundles/code/org.eclipse.fx.code.editor.fx.themes/src/org/eclipse/fx/code/editor/fx/themes/EditorStylesheet.java b/bundles/code/org.eclipse.fx.code.editor.fx.themes/src/org/eclipse/fx/code/editor/fx/themes/EditorStylesheet.java index eafceb899..31164d072 100644 --- a/bundles/code/org.eclipse.fx.code.editor.fx.themes/src/org/eclipse/fx/code/editor/fx/themes/EditorStylesheet.java +++ b/bundles/code/org.eclipse.fx.code.editor.fx.themes/src/org/eclipse/fx/code/editor/fx/themes/EditorStylesheet.java @@ -15,7 +15,7 @@ public abstract class EditorStylesheet implements Stylesheet { @Override public URL getURL(Theme t) { URL url = null; - if( "dark".equals(t.getId()) ) { + if( "dark".equals(t.getId()) || "theme.dark".equals(t.getId()) ) { url = getClass().getClassLoader().getResource("css/dark-highlight.css"); } else { url = getClass().getClassLoader().getResource("css/highlight.css"); |