MarginWidget: Moved in leaveEvent

[pulseview.git] / pv / view / header.cpp

diff --git a/pv/view/header.cpp b/pv/view/header.cpp
index 81973802b6cb1844eca489000aaa0ef3d7f18600..04e4c764845ce80c64ab6ac8bf9f0fb8ec935f58 100644 (file)
--- a/pv/view/header.cpp
+++ b/pv/view/header.cpp
@@ -252,12 +252,6 @@ void Header::mouseMoveEvent(QMouseEvent *event)
        update();
 }
 
-void Header::leaveEvent(QEvent*)
-{
-       mouse_point_ = QPoint(-1, -1);
-       update();
-}
-
 void Header::contextMenuEvent(QContextMenuEvent *event)
 {
        const shared_ptr<RowItem> r = get_mouse_over_item(mouse_point_);