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);
+}
+
+
LCursor & BufferView::cursor()
{
return pimpl_->cursor_;