gaming/godot
gaming/godot
1
0
Fork 0
mirror of https://github.com/godotengine/godot synced 2024-09-05 07:28:25 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #76396 from Rindbee/fix_line_spacing_not_update_in_code_editor

Browse source 
Fix `line_spacing` in code editor will not take effect immediately on change
This commit is contained in:
Rémi Verschelde 2023-04-24 16:48:48 +02:00
parent 60a335b24b 23d6225c1e
commit 9098698d17
No known key found for this signature in database
GPG key ID: C3336907360768E1
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"));