diff options
| author | Rindbee <idleman@yeah.net> | 2023-04-24 17:11:33 +0800 |
|---|---|---|
| committer | Yuri Sizov <yuris@humnom.net> | 2023-04-26 14:32:22 +0200 |
| commit | 112677c39efd2fdf8623a4aca7056c9b4d2f058a (patch) | |
| tree | 7659e182819488f59626a38adc709dcec84f3159 /editor/code_editor.cpp | |
| parent | 75a33fd6477c96a69533bbfcd3fef85d5c6d49e4 (diff) | |
Fix `line_spacing` in code editor will not take effect immediately on change
Previously, in CodeTextEditor, `line_spacing` was forgotten to update
when the editor setting property changed.
(cherry picked from commit 23d6225c1e59f33cc6cfe0df3a00961c0c93155f)
Diffstat (limited to 'editor/code_editor.cpp')
| -rw-r--r-- | editor/code_editor.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/editor/code_editor.cpp b/editor/code_editor.cpp index 7d29dfad92..f2947f50c0 100644 --- a/editor/code_editor.cpp +++ b/editor/code_editor.cpp @@ -1047,6 +1047,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")); |