ViewBase::ViewBase(Session &session, bool is_main_view, QWidget *parent) :
// Note: Place defaults in ViewBase::reset_view_state(), not here
+ QWidget(parent),
session_(session),
is_main_view_(is_main_view)
{
void ViewBase::reset_view_state()
{
- ruler_shift_ = 0;
current_segment_ = 0;
}