Ruler: Made HoverArrowSize proportional to text size

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

diff --git a/pv/view/ruler.hpp b/pv/view/ruler.hpp
index c2b198ea280e47a6b037b0eaa2e387deb6068aa6..864d611dda4607479d6bbc2f55394d5fab6d0071 100644 (file)
--- a/pv/view/ruler.hpp
+++ b/pv/view/ruler.hpp
@@ -41,7 +41,8 @@ private:
 
        static const int MinorTickSubdivision;
 
-       static const int HoverArrowSize;
+       /// Height of the hover arrow in multiples of the text height
+       static const float HoverArrowSize;
 
        static const int Padding;