gaming/godot
gaming/godot
1
0
Fork 0
mirror of https://github.com/godotengine/godot synced 2024-10-06 13:04:20 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fix line_spacing in code editor will not take effect immediately on change

Browse source 
Previously, in CodeTextEditor, `line_spacing` was forgotten to update
when the editor setting property changed.
This commit is contained in:
Rindbee 2023-04-24 17:11:33 +08:00
parent f178cad04a
commit 23d6225c1e
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
editor/code_editor.cpp
View file

@ -1049,6 +1049,7 @@ void CodeTextEditor::update_editor_settings() {
// Appearance: Whitespace
text_editor->set_draw_tabs(EDITOR_GET("text_editor/appearance/whitespace/draw_tabs"));
text_editor->set_draw_spaces(EDITOR_GET("text_editor/appearance/whitespace/draw_spaces"));
text_editor->add_theme_constant_override("line_spacing", EDITOR_GET("text_editor/appearance/whitespace/line_spacing"));
// Behavior: Navigation
text_editor->set_scroll_past_end_of_file_enabled(EDITOR_GET("text_editor/behavior/navigation/scroll_past_end_of_file"));