godotengine/godot
1
0
Fork 0
mirror of https://github.com/godotengine/godot.git synced 2025-11-08 12:40:44 +00:00
Code Releases Wiki Activity

add line spacing option to script and shader editor (#5105)

Browse Source 
(cherry picked from commit 990956c4e0)
This commit is contained in:
volzhs
2016-06-10 03:43:19 +09:00
committed by Rémi Verschelde
parent 13d3d217b1
commit 2998b7c486
2 changed files with 4 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
tools/editor/plugins/script_editor_plugin.cpp
View File

@@ -298,6 +298,7 @@ void ScriptTextEditor::_load_theme_settings() {
get_text_edit()->add_color_override("number_color",EDITOR_DEF("text_editor/number_color",Color(0.9,0.6,0.0,2)));
get_text_edit()->add_color_override("function_color",EDITOR_DEF("text_editor/function_color",Color(0.4,0.6,0.8)));
get_text_edit()->add_color_override("member_variable_color",EDITOR_DEF("text_editor/member_variable_color",Color(0.9,0.3,0.3)));
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));