{
Q_OBJECT
+ 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:
CursorHeader(View &parent);
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