return shared_ptr<Signal>();
}
+void Header::clear_selection()
+{
+ const vector< shared_ptr<Signal> > sigs(
+ _view.session().get_signals());
+ BOOST_FOREACH(const shared_ptr<Signal> s, sigs) {
+ assert(s);
+ s->select(false);
+ }
+
+ update();
+}
+
void Header::paintEvent(QPaintEvent*)
{
const int w = width();
boost::shared_ptr<pv::view::Signal> get_mouse_over_signal(
const QPoint &pt);
+ void clear_selection();
+
private:
void paintEvent(QPaintEvent *event);
public:
MarginWidget(pv::view::View &parent);
+public slots:
+ virtual void clear_selection() = 0;
+
protected:
pv::view::View &_view;
};
this, SLOT(hover_point_changed()));
}
+void Ruler::clear_selection()
+{
+ CursorPair &cursors = _view.cursors();
+ cursors.first().select(false);
+ cursors.second().select(false);
+ update();
+}
+
QString Ruler::format_time(double t, unsigned int prefix,
unsigned int precision)
{
public:
Ruler(View &parent);
+ void clear_selection();
+
static QString format_time(double t, unsigned int prefix,
unsigned precision = 0);