private Q_SLOTS:
+ void on_signal_name_changed();
void on_splitter_moved();
void h_scroll_value_changed(int value);
void signals_changed();
void capture_state_updated(int state);
+ void on_segment_changed(int segment);
+
virtual void perform_delayed_view_update();
void process_sticky_events();
vector< shared_ptr<DecodeTrace> > decode_traces_;
#endif
+ /// The ID of the currently displayed segment
+ int current_segment_;
+
/// The view time scale in seconds per pixel.
double scale_;