/// 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 mouseMoveEvent(QMouseEvent *e);
void mousePressEvent(QMouseEvent *e);
void mouseReleaseEvent(QMouseEvent *);
- void leaveEvent(QEvent*);
void mouseDoubleClickEvent(QMouseEvent *e);
+ void contextMenuEvent(QContextMenuEvent *event);
+
void keyPressEvent(QKeyEvent *e);
private:
int calculate_text_height() const;
-private:
- std::shared_ptr<TimeItem> mouse_down_item_;
-
private Q_SLOTS:
void hover_point_changed();
};