void QContentPane::paintEvent(QPaintEvent * e)
{
- BufferView * buffer_view_ = wa_->view().view();
-
if (!pixmap_.get()) {
pixmap_.reset(new QPixmap(width(), height()));
wa_->view().workArea()->resizeBufferView();
QPainter q(this);
q.drawPixmap(QPoint(r.x(), r.y()),
*pixmap_.get(), r);
-
- buffer_view_->updateScrollbar();
- ScrollbarParameters const & scroll_ = buffer_view_->scrollbarParameters();
-
- wa_->scrollbar_->setTracking(false);
- wa_->setScrollbarParams(scroll_.height, scroll_.position,
- scroll_.lineScrollHeight);
- wa_->scrollbar_->setTracking(true);
}
} // namespace frontend
} // namespace lyx
+
+#include "QContentPane_moc.cpp"