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();
s->select(false);
}
+ selection_changed();
update();
}