Bug 483520 - Add support for typescript
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 ee05dbd..1fa85d1 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 89f1383..a30a76c 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 eafceb8..31164d0 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 @@
 	@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");