+ _viewport->get_total_height() + SignalMargin -
+ areaSize.height());
+}
+
+void View::reset_signal_layout()
+{
+ int offset = SignalMargin + SignalHeight;
+ const vector< shared_ptr<Signal> > sigs(_session.get_signals());
+ BOOST_FOREACH(shared_ptr<Signal> s, sigs) {
+ s->set_v_offset(offset);
+ offset += SignalHeight + 2 * SignalMargin;
+ }
+
+ normalize_layout();
+}
+
+bool View::eventFilter(QObject *object, QEvent *event)
+{
+ const QEvent::Type type = event->type();
+ if (type == QEvent::MouseMove) {
+
+ const QMouseEvent *const mouse_event = (QMouseEvent*)event;
+ if (object == _viewport)
+ _hover_point = mouse_event->pos();
+ else if (object == _ruler)
+ _hover_point = QPoint(mouse_event->x(), 0);
+ else if (object == _header)
+ _hover_point = QPoint(0, mouse_event->y());
+ else
+ _hover_point = QPoint(-1, -1);
+
+ hover_point_changed();
+
+ } else if (type == QEvent::Leave) {
+ _hover_point = QPoint(-1, -1);
+ hover_point_changed();
+ }
+
+ return QObject::eventFilter(object, event);