namespace view {
Header::Header(View &parent) :
- QWidget(&parent),
- _view(parent),
+ MarginWidget(parent),
_action_set_name(new QAction(tr("Set &Name..."), this)),
_action_set_colour(new QAction(tr("Set &Colour..."), this))
{
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();
}