diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-10-13 19:36:33 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-10-13 19:36:33 +0200 |
| commit | bc91e088e4503bbf1c5800282f2974011a4cc8e8 (patch) | |
| tree | a7561401bc5caee8d7aace8edb4eb212e4d3bee7 | |
| parent | 1dbfd4c3e81255b1af5fae8678ca4bd8ce8e8f46 (diff) | |
| parent | 0d0a856ad582cf0889c31b829e77c5e0803eb9e8 (diff) | |
Merge pull request #42776 from Paulb23/code_edit_draw_delay
Fixed main gutter not drawing on item toggle
| -rw-r--r-- | scene/gui/code_edit.cpp | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/scene/gui/code_edit.cpp b/scene/gui/code_edit.cpp index 56cf432b38..1eb45d7fc6 100644 --- a/scene/gui/code_edit.cpp +++ b/scene/gui/code_edit.cpp @@ -132,6 +132,7 @@ void CodeEdit::set_line_as_breakpoint(int p_line, bool p_breakpointed) { breakpointed_lines.erase(p_line); } emit_signal("breakpoint_toggled", p_line); + update(); } bool CodeEdit::is_line_breakpointed(int p_line) const { @@ -160,6 +161,7 @@ Array CodeEdit::get_breakpointed_lines() const { void CodeEdit::set_line_as_bookmarked(int p_line, bool p_bookmarked) { int mask = get_line_gutter_metadata(p_line, main_gutter); set_line_gutter_metadata(p_line, main_gutter, p_bookmarked ? mask | MAIN_GUTTER_BOOKMARK : mask & ~MAIN_GUTTER_BOOKMARK); + update(); } bool CodeEdit::is_line_bookmarked(int p_line) const { @@ -188,6 +190,7 @@ Array CodeEdit::get_bookmarked_lines() const { void CodeEdit::set_line_as_executing(int p_line, bool p_executing) { int mask = get_line_gutter_metadata(p_line, main_gutter); set_line_gutter_metadata(p_line, main_gutter, p_executing ? mask | MAIN_GUTTER_EXECUTING : mask & ~MAIN_GUTTER_EXECUTING); + update(); } bool CodeEdit::is_line_executing(int p_line) const { |