From dbd2fa8b8f151725560786e5757b9558dd1e24cf Mon Sep 17 00:00:00 2001 From: Andreas Kling Date: Fri, 11 Sep 2020 16:06:00 +0200 Subject: [PATCH] HackStudio: Use widget override cursors --- DevTools/HackStudio/Editor.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/DevTools/HackStudio/Editor.cpp b/DevTools/HackStudio/Editor.cpp index 67d05195af..e81fac3860 100644 --- a/DevTools/HackStudio/Editor.cpp +++ b/DevTools/HackStudio/Editor.cpp @@ -209,9 +209,9 @@ void Editor::mousemove_event(GUI::MouseEvent& event) auto ruler_line_rect = ruler_content_rect(text_position.line()); auto hovering_lines_ruler = (event.position().x() < ruler_line_rect.width()); if (hovering_lines_ruler && !is_in_drag_select()) - window()->set_cursor(Gfx::StandardCursor::Arrow); + set_override_cursor(Gfx::StandardCursor::Arrow); else if (m_hovering_editor) - window()->set_cursor(m_hovering_link && m_holding_ctrl ? Gfx::StandardCursor::Hand : Gfx::StandardCursor::IBeam); + set_override_cursor(m_hovering_link && m_holding_ctrl ? Gfx::StandardCursor::Hand : Gfx::StandardCursor::IBeam); for (auto& span : document().spans()) { if (span.range.contains(m_previous_text_position) && !span.range.contains(text_position)) {