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

Merge pull request #51585 from Paulb23/theme-update-optimisation

Browse Source
This commit is contained in:
Rémi Verschelde
2021-08-13 21:33:36 +02:00
committed by GitHub
parent 84461a5c91 273374957b
commit 761eb7e06a
9 changed files with 111 additions and 54 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
scene/gui/code_edit.cpp
View File

@@ -2918,7 +2918,10 @@ void CodeEdit::_text_changed() {
while (lc /= 10) {
line_number_digits++;
}
set_gutter_width(line_number_gutter, (line_number_digits + 1) * font->get_char_size('0', 0, font_size).width);
if (font.is_valid()) {
set_gutter_width(line_number_gutter, (line_number_digits + 1) * font->get_char_size('0', 0, font_size).width);
}
lc = get_line_count();
int line_change_size = (lines_edited_to - lines_edited_from);