MarginWidget: Moved in dragging_, mouse_point_, and mouse_down_point_

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

diff --git a/pv/view/cursorheader.hpp b/pv/view/cursorheader.hpp
index f37112ec755aa57ab2d4df3434c514f631a3d332..5ae2a253fc6afcf0d556bd64d65eb5c8c37ea4c9 100644 (file)
--- a/pv/view/cursorheader.hpp
+++ b/pv/view/cursorheader.hpp
@@ -58,12 +58,11 @@ private:
        void mouseMoveEvent(QMouseEvent *e);
        void mousePressEvent(QMouseEvent *e);
        void mouseReleaseEvent(QMouseEvent *);
        void mouseMoveEvent(QMouseEvent *e);
        void mousePressEvent(QMouseEvent *e);
        void mouseReleaseEvent(QMouseEvent *);

+       void leaveEvent(QEvent*);

 
        int calculateTextHeight();
 
 
        int calculateTextHeight();
 

-       QPoint mouse_down_point_;

        std::shared_ptr<TimeItem> mouse_down_item_;
        std::shared_ptr<TimeItem> mouse_down_item_;

-       bool dragging_;

        const int textHeight_;
 };
 
        const int textHeight_;
 };