MarginWidget: Moved in leaveEvent

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

diff --git a/pv/view/header.hpp b/pv/view/header.hpp
index 62c29c16f93062420dd10957bad76d9fbdd27a5c..3c94f791c730d683b374cc4e16aafacbfa3ea1f2 100644 (file)
--- a/pv/view/header.hpp
+++ b/pv/view/header.hpp
@@ -76,8 +76,6 @@ private:
 
        void mouseMoveEvent(QMouseEvent *event);
 
-       void leaveEvent(QEvent *event);
-
        void contextMenuEvent(QContextMenuEvent *event);
 
        void keyPressEvent(QKeyEvent *e);