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;
- /**
- * The vertical offset, relative to the bottom line of the widget,
- * where the arrows of the cursor labels end.
- */
- static const int BaselineOffset;
-
public:
Ruler(View &parent);