MarginWidget: Moved in mouseReleaseEvent

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

diff --git a/pv/view/header.hpp b/pv/view/header.hpp
index 867944c53650a405f75030f4f3677994eb5afebc..758a702d78937d9abbe48b03955a827ec26cde3d 100644 (file)
--- a/pv/view/header.hpp
+++ b/pv/view/header.hpp
@@ -74,18 +74,10 @@ private:
        std::shared_ptr<pv::view::ViewItem> get_mouse_over_item(
                const QPoint &pt);
 
-       void clear_selection();
-
 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);