+void View::reset_signal_layout()
+{
+ int offset = SignalMargin;
+ vector< shared_ptr<Signal> > &sigs = _session.get_signals();
+ BOOST_FOREACH(shared_ptr<Signal> s, sigs) {
+ s->set_v_offset(offset);
+ offset += SignalHeight + 2 * SignalMargin;
+ }
+}
+