diff options
| author | Paulb23 <p_batty@hotmail.co.uk> | 2016-04-08 20:05:50 +0100 |
|---|---|---|
| committer | Paulb23 <p_batty@hotmail.co.uk> | 2016-04-08 20:11:16 +0100 |
| commit | 8c328474f2b2397fb4bcc3fc84402a0305383da6 (patch) | |
| tree | 234c773257a4a247424c3d48a0a48dc3d68697f3 /tools/editor/plugins | |
| parent | d454e64f429affb89de036eed6daa5c6e5278492 (diff) | |
Setting to change line number color
Diffstat (limited to 'tools/editor/plugins')
| -rw-r--r-- | tools/editor/plugins/script_editor_plugin.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/editor/plugins/script_editor_plugin.cpp b/tools/editor/plugins/script_editor_plugin.cpp index 5f2efc8f03..6ed44901f1 100644 --- a/tools/editor/plugins/script_editor_plugin.cpp +++ b/tools/editor/plugins/script_editor_plugin.cpp @@ -288,6 +288,7 @@ void ScriptTextEditor::_load_theme_settings() { get_text_edit()->set_custom_bg_color(EDITOR_DEF("text_editor/background_color",Color(0,0,0,0))); get_text_edit()->add_color_override("font_color",EDITOR_DEF("text_editor/text_color",Color(0,0,0))); + get_text_edit()->add_color_override("line_number_color",EDITOR_DEF("text_editor/line_number_color",Color(0,0,0))); get_text_edit()->add_color_override("caret_color",EDITOR_DEF("text_editor/caret_color",Color(0,0,0))); get_text_edit()->add_color_override("font_selected_color",EDITOR_DEF("text_editor/text_selected_color",Color(1,1,1))); get_text_edit()->add_color_override("selection_color",EDITOR_DEF("text_editor/selection_color",Color(0.2,0.2,1))); |