diff options
| author | Paulb23 <p_batty@hotmail.co.uk> | 2020-10-13 18:01:59 +0100 |
|---|---|---|
| committer | Paulb23 <p_batty@hotmail.co.uk> | 2020-10-13 18:01:59 +0100 |
| commit | 0d0a856ad582cf0889c31b829e77c5e0803eb9e8 (patch) | |
| tree | a7561401bc5caee8d7aace8edb4eb212e4d3bee7 /scene/gui | |
| parent | 1dbfd4c3e81255b1af5fae8678ca4bd8ce8e8f46 (diff) | |
Fixed main gutter not drawing on item toggle
Diffstat (limited to 'scene/gui')
| -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 { |