CursorHeader: Make the size dependend on the used font.

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

diff --git a/pv/view/cursorheader.h b/pv/view/cursorheader.h
index bab25191d3f9a0dc8d35ce15818cdd9a4cc9b60c..ff1759d47eb324b32e2ebfdb3948bc5674763d66 100644 (file)
--- a/pv/view/cursorheader.h
+++ b/pv/view/cursorheader.h
@@ -37,6 +37,8 @@ class CursorHeader : public MarginWidget
 {
        Q_OBJECT
 
+       static const int Padding;
+
 public:
        CursorHeader(View &parent);
 
@@ -51,11 +53,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