*/
void set_time(double time);
+ float get_x() const;
+
/**
* Paints the marker to the viewport.
* @param p The painter to draw with.
virtual void paint_label(QPainter &p, const QRect &rect,
unsigned int prefix) = 0;
+ pv::widgets::Popup* create_popup(QWidget *parent);
+
private slots:
void on_value_changed(double value);