HackStudio: Remove Editor::gutter_icon_rect()

This was only used for a redundant call to update().
remove_gutter_indicator() already updates the correct area.
This commit is contained in:
Sam Atkins 2023-07-19 17:48:04 +01:00 committed by Sam Atkins
parent 489f20d997
commit 63d14a7e6e
Notes: sideshowbarker 2024-07-17 04:57:23 +09:00
2 changed files with 0 additions and 7 deletions

View file

@ -146,11 +146,6 @@ EditorWrapper const& Editor::wrapper() const
return static_cast<EditorWrapper const&>(*parent());
}
Gfx::IntRect Editor::gutter_icon_rect(size_t line_number) const
{
return gutter_content_rect(line_number).translated(frame_thickness(), 0);
}
void Editor::paint_event(GUI::PaintEvent& event)
{
GUI::TextEditor::paint_event(event);
@ -445,7 +440,6 @@ void Editor::clear_execution_position()
size_t previous_position = execution_position().value();
code_document().clear_execution_position();
remove_gutter_indicator(m_execution_indicator_id, previous_position);
update(gutter_icon_rect(previous_position));
}
Gfx::Bitmap const& Editor::breakpoint_icon_bitmap()

View file

@ -77,7 +77,6 @@ private:
void on_navigatable_link_click(const GUI::TextDocumentSpan&);
void on_identifier_click(const GUI::TextDocumentSpan&);
Gfx::IntRect gutter_icon_rect(size_t line_number) const;
static Gfx::Bitmap const& breakpoint_icon_bitmap();
static Gfx::Bitmap const& current_position_icon_bitmap();
static ErrorOr<void> initialize_tooltip_window();