Skip to main content
summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorTom Schindl2015-12-02 20:26:23 +0000
committerTom Schindl2015-12-02 20:26:23 +0000
commitb9dee9d25065fdbadfad171005018e32a0d543cc (patch)
treebae48a2af67b520484469acefe249cce2db9df38
parent87ff1c4c6dc1005a270818704980f9c0eec98ef4 (diff)
downloadorg.eclipse.efxclipse-b9dee9d25065fdbadfad171005018e32a0d543cc.tar.gz
org.eclipse.efxclipse-b9dee9d25065fdbadfad171005018e32a0d543cc.tar.xz
org.eclipse.efxclipse-b9dee9d25065fdbadfad171005018e32a0d543cc.zip
Bug 483520 - Add support for typescript
-rw-r--r--bundles/code/org.eclipse.fx.code.editor.fx.themes/css/dark-highlight.css1
-rw-r--r--bundles/code/org.eclipse.fx.code.editor.fx.themes/css/highlight.css2
-rw-r--r--bundles/code/org.eclipse.fx.code.editor.fx.themes/src/org/eclipse/fx/code/editor/fx/themes/EditorStylesheet.java2
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");

Back to the top