static const int MinorTickSubdivision;
- static const int HoverArrowSize;
-
- 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;
+ /// Height of the hover arrow in multiples of the text height
+ static const float HoverArrowSize;
public:
Ruler(View &parent);