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

Move CodeEdit theme overrides into EditorTheme

Browse Source
This commit is contained in:
Paulb23
2021-08-13 16:32:11 +01:00
parent b73983340d
commit b6f5912174
4 changed files with 35 additions and 41 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
scene/gui/code_edit.cpp
View File

@@ -2906,7 +2906,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);