X-Git-Url: https://sigrok.org/gitweb/?p=pulseview.git;a=blobdiff_plain;f=pv%2Fview%2Fview.cpp;h=287bfb6c51b7429467d72779abd2cadb3b3a76a1;hp=2fc14d2b64c9e777827650f7565125d1fe351aae;hb=e5cc818627748b95b6a6d14cc4cf509ab4669fa8;hpb=8a5fd81fea577663e8c0f17e53d5928599d0926d diff --git a/pv/view/view.cpp b/pv/view/view.cpp index 2fc14d2b..287bfb6c 100644 --- a/pv/view/view.cpp +++ b/pv/view/view.cpp @@ -38,9 +38,9 @@ #include #include #include -#include #include #include +#include #include @@ -100,17 +100,12 @@ const int View::MaxScrollValue = INT_MAX / 2; const int View::ScaleUnits[3] = {1, 2, 5}; -CustomAbstractScrollArea::CustomAbstractScrollArea(QWidget *parent) : +CustomScrollArea::CustomScrollArea(QWidget *parent) : QAbstractScrollArea(parent) { } -void CustomAbstractScrollArea::setViewportMargins(int left, int top, int right, int bottom) -{ - QAbstractScrollArea::setViewportMargins(left, top, right, bottom); -} - -bool CustomAbstractScrollArea::viewportEvent(QEvent *event) +bool CustomScrollArea::viewportEvent(QEvent *event) { switch (event->type()) { case QEvent::Paint: @@ -130,13 +125,11 @@ bool CustomAbstractScrollArea::viewportEvent(QEvent *event) View::View(Session &session, bool is_main_view, QWidget *parent) : ViewBase(session, is_main_view, parent), - viewport_(new Viewport(*this)), - ruler_(new Ruler(*this)), - header_(new Header(*this)), - scrollarea_(this), + splitter_(new QSplitter()), scale_(1e-3), offset_(0), updating_scroll_(false), + settings_restored_(false), sticky_scrolling_(false), // Default setting is set in MainWindow::setup_ui() always_zoom_to_fit_(false), tick_period_(0), @@ -148,15 +141,58 @@ View::View(Session &session, bool is_main_view, QWidget *parent) : next_flag_text_('A'), trigger_markers_(), hover_point_(-1, -1), - scroll_needs_defaults_(false), + scroll_needs_defaults_(true), saved_v_offset_(0) { + QVBoxLayout *root_layout = new QVBoxLayout(this); + root_layout->setContentsMargins(0, 0, 0, 0); + root_layout->addWidget(splitter_); + + viewport_ = new Viewport(*this); + scrollarea_ = new CustomScrollArea(splitter_); + scrollarea_->setViewport(viewport_); + scrollarea_->setFrameShape(QFrame::NoFrame); + + ruler_ = new Ruler(*this); + + header_ = new Header(*this); + 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 + QWidget *header_container = new QWidget(); + header_container->setSizePolicy(QSizePolicy::Expanding, QSizePolicy::Expanding); + QVBoxLayout *header_layout = new QVBoxLayout(header_container); + header_layout->setContentsMargins(0, ruler_->sizeHint().height(), 0, 0); + header_layout->addWidget(header_); + + // To let the ruler and scrollarea be on the same split pane, we need a layout + QWidget *trace_container = new QWidget(); + trace_container->setSizePolicy(QSizePolicy::Expanding, QSizePolicy::Expanding); + QVBoxLayout *trace_layout = new QVBoxLayout(trace_container); + trace_layout->setSpacing(0); // We don't want space between the ruler and scrollarea + trace_layout->setContentsMargins(0, 0, 0, 0); + trace_layout->addWidget(ruler_); + trace_layout->addWidget(scrollarea_); + + splitter_->addWidget(header_container); + splitter_->addWidget(trace_container); + splitter_->setHandleWidth(1); // Don't show a visible rubber band + splitter_->setCollapsible(0, false); // Prevent the header from collapsing + splitter_->setCollapsible(1, false); // Prevent the traces from collapsing + splitter_->setSizePolicy(QSizePolicy::Expanding, QSizePolicy::Expanding); + + viewport_->installEventFilter(this); + ruler_->installEventFilter(this); + header_->installEventFilter(this); + + // Set up settings and event handlers GlobalSettings settings; coloured_bg_ = settings.value(GlobalSettings::Key_View_ColouredBG).toBool(); - connect(scrollarea_.horizontalScrollBar(), SIGNAL(valueChanged(int)), + connect(scrollarea_->horizontalScrollBar(), SIGNAL(valueChanged(int)), this, SLOT(h_scroll_value_changed(int))); - connect(scrollarea_.verticalScrollBar(), SIGNAL(valueChanged(int)), + connect(scrollarea_->verticalScrollBar(), SIGNAL(valueChanged(int)), this, SLOT(v_scroll_value_changed())); connect(header_, SIGNAL(selection_changed()), @@ -169,6 +205,9 @@ View::View(Session &session, bool is_main_view, QWidget *parent) : connect(ruler_, SIGNAL(selection_changed()), this, SIGNAL(selection_changed())); + connect(splitter_, SIGNAL(splitterMoved(int, int)), + this, SLOT(on_splitter_moved())); + connect(this, SIGNAL(hover_point_changed()), this, SLOT(on_hover_point_changed())); @@ -176,18 +215,6 @@ View::View(Session &session, bool is_main_view, QWidget *parent) : this, SLOT(process_sticky_events())); lazy_event_handler_.setSingleShot(true); - /* To let the scroll area fill up the parent QWidget (this), we need a layout */ - QHBoxLayout *layout = new QHBoxLayout(this); - setLayout(layout); - layout->setContentsMargins(0, 0, 0, 0); - layout->addWidget(&scrollarea_); - - scrollarea_.setViewport(viewport_); - - viewport_->installEventFilter(this); - ruler_->installEventFilter(this); - header_->installEventFilter(this); - // Trigger the initial event manually. The default device has signals // which were created before this object came into being signals_changed(); @@ -275,7 +302,9 @@ void View::save_settings(QSettings &settings) const { settings.setValue("scale", scale_); settings.setValue("v_offset", - scrollarea_.verticalScrollBar()->sliderPosition()); + scrollarea_->verticalScrollBar()->sliderPosition()); + + settings.setValue("splitter_state", splitter_->saveState()); stringstream ss; boost::archive::text_oarchive oa(ss); @@ -308,6 +337,9 @@ void View::restore_settings(QSettings &settings) set_offset(offset); } + if (settings.contains("splitter_state")) + splitter_->restoreState(settings.value("splitter_state").toByteArray()); + for (shared_ptr signal : signals_) { settings.beginGroup(signal->base()->internal_name()); signal->restore_settings(settings); @@ -320,6 +352,8 @@ void View::restore_settings(QSettings &settings) scroll_needs_defaults_ = false; // Note: see eventFilter() for additional information } + + settings_restored_ = true; } vector< shared_ptr > View::time_items() const @@ -345,7 +379,7 @@ void View::set_scale(double scale) { if (scale_ != scale) { scale_ = scale; - Q_EMIT scale_changed(); + scale_changed(); } } @@ -358,18 +392,18 @@ void View::set_offset(const pv::util::Timestamp& offset) { if (offset_ != offset) { offset_ = offset; - Q_EMIT offset_changed(); + offset_changed(); } } int View::owner_visual_v_offset() const { - return -scrollarea_.verticalScrollBar()->sliderPosition(); + return -scrollarea_->verticalScrollBar()->sliderPosition(); } void View::set_v_offset(int offset) { - scrollarea_.verticalScrollBar()->setSliderPosition(offset); + scrollarea_->verticalScrollBar()->setSliderPosition(offset); header_->update(); viewport_->update(); } @@ -388,7 +422,7 @@ void View::set_tick_prefix(pv::util::SIPrefix tick_prefix) { if (tick_prefix_ != tick_prefix) { tick_prefix_ = tick_prefix; - Q_EMIT tick_prefix_changed(); + tick_prefix_changed(); } } @@ -401,7 +435,7 @@ void View::set_tick_precision(unsigned tick_precision) { if (tick_precision_ != tick_precision) { tick_precision_ = tick_precision; - Q_EMIT tick_precision_changed(); + tick_precision_changed(); } } @@ -414,7 +448,7 @@ void View::set_tick_period(const pv::util::Timestamp& tick_period) { if (tick_period_ != tick_period) { tick_period_ = tick_period; - Q_EMIT tick_period_changed(); + tick_period_changed(); } } @@ -427,7 +461,7 @@ void View::set_time_unit(pv::util::TimeUnit time_unit) { if (time_unit_ != time_unit) { time_unit_ = time_unit; - Q_EMIT time_unit_changed(); + time_unit_changed(); } } @@ -773,8 +807,8 @@ void View::adjust_top_margin() void View::update_scroll() { assert(viewport_); - QScrollBar *hscrollbar = scrollarea_.horizontalScrollBar(); - QScrollBar *vscrollbar = scrollarea_.verticalScrollBar(); + QScrollBar *hscrollbar = scrollarea_->horizontalScrollBar(); + QScrollBar *vscrollbar = scrollarea_->verticalScrollBar(); const QSize areaSize = viewport_->size(); @@ -819,7 +853,7 @@ void View::update_scroll() void View::reset_scroll() { - scrollarea_.verticalScrollBar()->setRange(0, 0); + scrollarea_->verticalScrollBar()->setRange(0, 0); } void View::set_scroll_default() @@ -841,15 +875,39 @@ void View::set_scroll_default() set_v_offset(extents.first); } +bool View::header_was_shrunk() const +{ + const int header_pane_width = splitter_->sizes().front(); + const int header_width = header_->extended_size_hint().width(); + + // Allow for a slight margin of error so that we also accept + // slight differences when e.g. a label name change increased + // the overall width + return (header_pane_width < (header_width - 10)); +} + +void View::expand_header_to_fit() +{ + int splitter_area_width = 0; + for (int w : splitter_->sizes()) + splitter_area_width += w; + + // Workaround for when the header needs resizing but the view + // isn't visible yet and thus splitter_->sizes() returns (0, 0) + if (splitter_area_width == 0) { + QTimer::singleShot(50, this, SLOT(on_repeat_splitter_expansion())); + return; + } + + // Make sure the header has enough horizontal space to show all labels fully + QList pane_sizes; + pane_sizes.push_back(header_->extended_size_hint().width()); + pane_sizes.push_back(splitter_area_width - header_->extended_size_hint().width()); + splitter_->setSizes(pane_sizes); +} + void View::update_layout() { - scrollarea_.setViewportMargins( - header_->sizeHint().width() - Header::BaselineOffset, - ruler_->sizeHint().height(), 0, 0); - ruler_->setGeometry(viewport_->x(), 0, - viewport_->width(), ruler_->extended_size_hint().height()); - header_->setGeometry(0, viewport_->y(), - header_->extended_size_hint().width(), viewport_->height()); update_scroll(); } @@ -998,8 +1056,13 @@ void View::row_item_appearance_changed(bool label, bool content) void View::time_item_appearance_changed(bool label, bool content) { - if (label) + if (label) { ruler_->update(); + + // Make sure the header pane width is updated, too + update_layout(); + } + if (content) viewport_->update(); } @@ -1013,6 +1076,26 @@ void View::extents_changed(bool horz, bool vert) lazy_event_handler_.start(); } +void View::on_splitter_moved() +{ + // Setting the maximum width of the header widget doesn't work as + // expected because the splitter would allow the user to make the + // pane wider than that, creating empty space as a result. + // To make this work, we stricly enforce the maximum width by + // expanding the header unless the user shrunk it on purpose. + // As we're then setting the width of the header pane, we set the + // splitter to the maximum allowed position. + if (!header_was_shrunk()) + expand_header_to_fit(); +} + +void View::on_repeat_splitter_expansion() +{ + // Don't mess with the header if settings were restored in the meanwhile + if (!settings_restored_) + expand_header_to_fit(); +} + void View::h_scroll_value_changed(int value) { if (updating_scroll_) @@ -1025,7 +1108,7 @@ void View::h_scroll_value_changed(int value) sticky_scrolling_changed(false); } - const int range = scrollarea_.horizontalScrollBar()->maximum(); + const int range = scrollarea_->horizontalScrollBar()->maximum(); if (range < MaxScrollValue) set_offset(scale_ * value); else { @@ -1055,8 +1138,8 @@ void View::signals_changed() // Do we need to set the vertical scrollbar to its default position later? // We do if there are no traces, i.e. the scroll bar has no range set bool reset_scrollbar = - (scrollarea_.verticalScrollBar()->minimum() == - scrollarea_.verticalScrollBar()->maximum()); + (scrollarea_->verticalScrollBar()->minimum() == + scrollarea_->verticalScrollBar()->maximum()); if (!session_.device()) { reset_scroll(); @@ -1208,6 +1291,12 @@ void View::signals_changed() offset += extents.second; } + + if (!new_top_level_items.empty()) + // Expand the header pane because the header should become fully + // visible when new signals are added + expand_header_to_fit(); + update_layout(); header_->update();