/**
* Gets the time of the marker.
*/
- const pv::util::Timestamp& time() const;
+ virtual const pv::util::Timestamp time() const override;
/**
* Sets the time of the marker.
QWidgetAction *value_action_;
pv::widgets::TimestampSpinBox *value_widget_;
- bool updating_value_widget_;
};
} // namespace trace