|
@@ -644,6 +644,10 @@ void TerminalWidget::mousemove_event(GUI::MouseEvent& event)
|
|
if (attribute.href_id != m_hovered_href_id) {
|
|
if (attribute.href_id != m_hovered_href_id) {
|
|
m_hovered_href_id = attribute.href_id;
|
|
m_hovered_href_id = attribute.href_id;
|
|
m_hovered_href = attribute.href;
|
|
m_hovered_href = attribute.href;
|
|
|
|
+ if (!m_hovered_href.is_empty())
|
|
|
|
+ window()->set_override_cursor(GUI::StandardCursor::Hand);
|
|
|
|
+ else
|
|
|
|
+ window()->set_override_cursor(GUI::StandardCursor::None);
|
|
update();
|
|
update();
|
|
}
|
|
}
|
|
|
|
|
|
@@ -656,6 +660,16 @@ void TerminalWidget::mousemove_event(GUI::MouseEvent& event)
|
|
update();
|
|
update();
|
|
}
|
|
}
|
|
|
|
|
|
|
|
+void TerminalWidget::leave_event(Core::Event&)
|
|
|
|
+{
|
|
|
|
+ window()->set_override_cursor(GUI::StandardCursor::None);
|
|
|
|
+ bool should_update = !m_hovered_href.is_empty();
|
|
|
|
+ m_hovered_href = {};
|
|
|
|
+ m_hovered_href_id = {};
|
|
|
|
+ if (should_update)
|
|
|
|
+ update();
|
|
|
|
+}
|
|
|
|
+
|
|
void TerminalWidget::mousewheel_event(GUI::MouseEvent& event)
|
|
void TerminalWidget::mousewheel_event(GUI::MouseEvent& event)
|
|
{
|
|
{
|
|
if (!is_scrollable())
|
|
if (!is_scrollable())
|