MarginWidget: Moved in mouseReleaseEvent

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

diff --git a/pv/view/header.hpp b/pv/view/header.hpp
index 34f851b67a26af234a85c956b47bcd8df0314a09..758a702d78937d9abbe48b03955a827ec26cde3d 100644 (file)
--- a/pv/view/header.hpp
+++ b/pv/view/header.hpp
@@ -78,12 +78,6 @@ private:
        void paintEvent(QPaintEvent *event);
 
 private:
-       void mouseLeftPressEvent(QMouseEvent *event);
-       void mousePressEvent(QMouseEvent * event);
-
-       void mouseLeftReleaseEvent(QMouseEvent *event);
-       void mouseReleaseEvent(QMouseEvent *event);
-
        void mouseMoveEvent(QMouseEvent *event);
 
        void contextMenuEvent(QContextMenuEvent *event);