Removed duplicate default colours and removed GDScriptHighligher colours from main editor.

2018-06-10 15:30:49 +01:00
parent 8f7e791ab6
commit 08c036b706
4 changed files with 46 additions and 61 deletions
--- a/editor/editor_settings.h
+++ b/editor/editor_settings.h
@ -175,6 +175,8 @@ public:
 	Vector<String> get_recent_dirs() const;
 	void load_favorites();

+	bool is_dark_theme();
+
 	void list_text_editor_themes();
 	void load_text_editor_theme();
 	bool import_text_editor_theme(String p_file);