ruler_ = new Ruler(*this);
header_ = new Header(*this);
- header_->setMinimumWidth(15); // So that the arrow tips show at least
+ header_->setMinimumWidth(10); // So that the arrow tips show at least
// We put the header into a simple layout so that we can add the top margin,
// allowing us to make it line up with the bottom of the ruler
settings.setValue("v_offset",
scrollarea_->verticalScrollBar()->sliderPosition());
+ settings.setValue("splitter_state", splitter_->saveState());
+
stringstream ss;
boost::archive::text_oarchive oa(ss);
oa << boost::serialization::make_nvp("offset", offset_);
set_offset(offset);
}
+ if (settings.contains("splitter_state"))
+ splitter_->restoreState(settings.value("splitter_state").toByteArray());
+
for (shared_ptr<Signal> signal : signals_) {
settings.beginGroup(signal->base()->internal_name());
signal->restore_settings(settings);