[apps/code] Reset selection when leaving script editor

This commit is contained in:
Léa Saviot
2019-10-10 15:36:55 +02:00
parent 1be417e2c4
commit d05a95c87c
4 changed files with 7 additions and 0 deletions

View File

@@ -16,6 +16,10 @@ EditorView::EditorView(Responder * parentResponder, App * pythonDelegate) :
m_textArea.setScrollViewDelegate(this);
}
void EditorView::resetSelection() {
m_textArea.resetSelection();
}
void EditorView::scrollViewDidChangeOffset(ScrollViewDataSource * scrollViewDataSource) {
m_gutterView.setOffset(scrollViewDataSource->offset().y());
}