MarginWidget: Moved in mouseReleaseEvent

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

diff --git a/pv/view/marginwidget.hpp b/pv/view/marginwidget.hpp
index 1194696548e4cd57def831bb05e59efb69daeabf..35d557d10ccab7dcae57f57f6c990bce7c85e9d6 100644 (file)
--- a/pv/view/marginwidget.hpp
+++ b/pv/view/marginwidget.hpp
@@ -73,8 +73,15 @@ protected:
         */
        void mouse_left_press_event(QMouseEvent *event);
 
+       /**
+        * Handles left mouse button release events.
+        * @param event the mouse event that triggered this handler.
+        */
+       void mouse_left_release_event(QMouseEvent *event);
+
 protected:
        void mousePressEvent(QMouseEvent * event);
+       void mouseReleaseEvent(QMouseEvent *event);
 
        void leaveEvent(QEvent *event);