Ruler: Make RulerHeight proportional to text size

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

diff --git a/pv/view/ruler.hpp b/pv/view/ruler.hpp
index a02067f3d0e987f7c294e7b11f018822a5c9cf84..c2b198ea280e47a6b037b0eaa2e387deb6068aa6 100644 (file)
--- a/pv/view/ruler.hpp
+++ b/pv/view/ruler.hpp
@@ -35,7 +35,10 @@ class Ruler : public MarginWidget
        Q_OBJECT
 
 private:
-       static const int RulerHeight;
+
+       /// Height of the ruler in multipes of the text height
+       static const float RulerHeight;
+
        static const int MinorTickSubdivision;
 
        static const int HoverArrowSize;
@@ -79,8 +82,10 @@ private:
 private:
        /**
         * Draw a hover arrow under the cursor position.
+        * @param p The painter to draw into.
+        * @param text_height The height of a single text ascent.
         */
-       void draw_hover_mark(QPainter &p);
+       void draw_hover_mark(QPainter &p, int text_height);
 
        int calculate_text_height() const;