const int View::MaxScrollValue = INT_MAX / 2;
-const int View::SignalHeight = 30;
-const int View::SignalMargin = 10;
-
const QColor View::CursorAreaColour(220, 231, 243);
const QSizeF View::LabelPadding(4, 0);
return _hover_point;
}
-void View::normalize_layout()
-{
- int v_min = INT_MAX;
- for (const shared_ptr<RowItem> r : *this)
- v_min = min(r->v_offset(), v_min);
-
- const int delta = -min(v_min, 0);
- for (shared_ptr<RowItem> r : *this)
- r->set_v_offset(r->v_offset() + delta);
-
- verticalScrollBar()->setSliderPosition(_v_offset + delta);
- v_scroll_value_changed(verticalScrollBar()->sliderPosition());
-}
-
void View::update_viewport()
{
assert(_viewport);
// Set the vertical scrollbar
verticalScrollBar()->setPageStep(areaSize.height());
- verticalScrollBar()->setRange(0,
- _viewport->get_total_height() + SignalMargin -
- areaSize.height());
+
+ const pair<int, int> extents = v_extents();
+ const int extra_scroll_height = (extents.second - extents.first) / 4;
+ verticalScrollBar()->setRange(extents.first - extra_scroll_height,
+ extents.first + extra_scroll_height);
}
void View::update_layout()
#endif
// Create the initial layout
- int offset = SignalMargin + SignalHeight;
+ int offset = 0;
for (shared_ptr<RowItem> r : *this) {
- r->set_v_offset(offset);
- offset += SignalHeight + 2 * SignalMargin;
+ const pair<int, int> extents = r->v_extents();
+ if (r->enabled())
+ offset += -extents.first;
+ r->force_to_v_offset(offset);
+ if (r->enabled())
+ offset += extents.second;
}
update_layout();
- normalize_layout();
// Update the child widgets
_header->signals_updated();