+void Header::mouseMoveEvent(QMouseEvent *event)
+{
+ assert(event);
+ _mouse_point = event->pos();
+ update();
+}
+
+void Header::leaveEvent(QEvent *event)
+{
+ _mouse_point = QPoint(-1, -1);
+ update();
+}
+
+void Header::contextMenuEvent(QContextMenuEvent *event)
+{
+ const int w = width();
+ const vector< shared_ptr<Signal> > &sigs =
+ _view.session().get_signals();
+
+ int offset = -_view.v_offset();
+ BOOST_FOREACH(const shared_ptr<Signal> s, sigs)
+ {
+ assert(s);
+
+ const QRect signal_heading_rect(
+ 0, offset, w, View::SignalHeight);
+
+ if(s->pt_in_label_rect(signal_heading_rect, _mouse_point)) {
+ QMenu menu(this);
+ menu.addAction(_action_set_name);
+ menu.addAction(_action_set_colour);
+
+ _context_signal = s;
+ menu.exec(event->globalPos());
+ _context_signal.reset();
+
+ break;
+ }
+
+ offset += View::SignalHeight;
+ }
+}
+
+void Header::on_action_set_name_triggered()
+{
+ boost::shared_ptr<Signal> context_signal = _context_signal;
+ if(!context_signal)
+ return;
+
+ const QString new_label = QInputDialog::getText(this, tr("Set Name"),
+ tr("Name"), QLineEdit::Normal, context_signal->get_name());
+
+ if(!new_label.isEmpty())
+ context_signal->set_name(new_label);
+}
+
+void Header::on_action_set_colour_triggered()
+{
+ boost::shared_ptr<Signal> context_signal = _context_signal;
+ if(!context_signal)
+ return;
+
+ const QColor new_colour = QColorDialog::getColor(
+ context_signal->get_colour(), this, tr("Set Colour"));
+
+ if(new_colour.isValid())
+ context_signal->set_colour(new_colour);
+}
+