MarginWidget: Moved in mouseReleaseEvent

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

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