/// 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);
*/
QSize extended_size_hint() const;
+private:
+ std::shared_ptr<pv::view::TimeItem> get_mouse_over_item(
+ const QPoint &pt);
+
private:
void paintEvent(QPaintEvent *event);
void mouseDoubleClickEvent(QMouseEvent *e);
+ void contextMenuEvent(QContextMenuEvent *event);
+
void keyPressEvent(QKeyEvent *e);
private: