return pimpl_->isSavedPosition(i);
}
+void BufferView::saveSavedPositions()
+{
+ return pimpl_->saveSavedPositions();
+}
void BufferView::switchKeyMap()
{
bool const BufferView::repaintAll() const
-{
+{
return pimpl_->repaintAll();
}
-
+
void const BufferView::repaintAll(bool r) const
-{
+{
pimpl_->repaintAll(r);
}