CursorHeader: Do not clip away the selection.

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

diff --git a/pv/view/cursorheader.h b/pv/view/cursorheader.h
index bab25191d3f9a0dc8d35ce15818cdd9a4cc9b60c..d3124be95baa53eeba4bb9be0951f7142f00c012 100644 (file)
--- a/pv/view/cursorheader.h
+++ b/pv/view/cursorheader.h
@@ -37,6 +37,14 @@ class CursorHeader : public MarginWidget
 {
        Q_OBJECT
 
+       static const int Padding;
+
+       /**
+        * The vertical offset, relative to the bottom line of the widget,
+        * where the arrows of the cursor labels end.
+        */
+       static const int BaselineOffset;
+
 public:
        CursorHeader(View &parent);
 
@@ -51,11 +59,12 @@ private:
        void mousePressEvent(QMouseEvent *e);
        void mouseReleaseEvent(QMouseEvent *);
 
-       static const int CursorHeaderHeight;
+       int calculateTextHeight();
 
        std::weak_ptr<TimeMarker> _grabbed_marker;
        QPoint _mouse_down_point;
        bool _dragging;
+       const int _textHeight;
 };
 
 } // namespace view