diff options
| author | Andreas Haas | 2017-10-03 19:56:14 +0200 |
|---|---|---|
| committer | GitHub | 2017-10-03 19:56:14 +0200 |
| commit | a848fa6cdeb00f0c40f259cde2d59112272e3c51 (patch) | |
| tree | 1c6246c425eb58f900bf713256bf37e6de606e13 /editor/plugins/script_text_editor.h | |
| parent | d08f7ee7bf9b8f207739b4916b1c7ba7028eaecc (diff) | |
| parent | bb69855f1ac32d657e53c388d12b37464f4efa7c (diff) | |
| download | godot-a848fa6cdeb00f0c40f259cde2d59112272e3c51.tar.gz godot-a848fa6cdeb00f0c40f259cde2d59112272e3c51.tar.zst godot-a848fa6cdeb00f0c40f259cde2d59112272e3c51.zip | |
Diffstat (limited to 'editor/plugins/script_text_editor.h')
| -rw-r--r-- | editor/plugins/script_text_editor.h | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/editor/plugins/script_text_editor.h b/editor/plugins/script_text_editor.h index f8b7470ec..83f3ea57c 100644 --- a/editor/plugins/script_text_editor.h +++ b/editor/plugins/script_text_editor.h @@ -57,6 +57,17 @@ class ScriptTextEditor : public ScriptEditorBase { int color_line; String color_args; + struct ColorsCache { + Color symbol_color; + Color keyword_color; + Color basetype_color; + Color type_color; + Color comment_color; + Color string_color; + } colors_cache; + + bool theme_loaded; + enum { EDIT_UNDO, EDIT_REDO, @@ -101,6 +112,7 @@ protected: void _validate_script(); void _code_complete_script(const String &p_code, List<String> *r_options, bool &r_force); void _load_theme_settings(); + void _set_theme_for_script(); void _notification(int p_what); static void _bind_methods(); |
