diff options
| author | volzhs | 2016-06-10 03:43:19 +0900 |
|---|---|---|
| committer | Rémi Verschelde | 2016-06-09 20:43:19 +0200 |
| commit | 990956c4e0db8de0a2031a416e6b8298e25a2ba4 (patch) | |
| tree | 32c39b376545ba5d5837a373e8fca5e847aea0cd /tools/editor/plugins/script_editor_plugin.cpp | |
| parent | 26d18b74ac8b5cc3f99fe3aa7d8a2438f9dd52cd (diff) | |
| download | godot-990956c4e0db8de0a2031a416e6b8298e25a2ba4.tar.gz godot-990956c4e0db8de0a2031a416e6b8298e25a2ba4.tar.zst godot-990956c4e0db8de0a2031a416e6b8298e25a2ba4.zip | |
add line spacing option to script and shader editor (#5105)
Diffstat (limited to 'tools/editor/plugins/script_editor_plugin.cpp')
| -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 d2d1f9e62..8d00f2cd8 100644 --- a/tools/editor/plugins/script_editor_plugin.cpp +++ b/tools/editor/plugins/script_editor_plugin.cpp @@ -302,6 +302,7 @@ void ScriptTextEditor::_load_theme_settings() { get_text_edit()->add_color_override("breakpoint_color", EDITOR_DEF("text_editor/breakpoint_color", Color(0.8,0.8,0.4,0.2))); get_text_edit()->add_color_override("search_result_color",EDITOR_DEF("text_editor/search_result_color",Color(0.05,0.25,0.05,1))); get_text_edit()->add_color_override("search_result_border_color",EDITOR_DEF("text_editor/search_result_border_color",Color(0.1,0.45,0.1,1))); + get_text_edit()->add_constant_override("line_spacing", EDITOR_DEF("text_editor/line_spacing",4)); Color keyword_color= EDITOR_DEF("text_editor/keyword_color",Color(0.5,0.0,0.2)); |