Function selectAndReveal

kdevplatform/shell/textdocument.cpp:55–61

This sets cursor position and selection on the view to the given range. Selection is set only for non-empty ranges Factored into a function since its needed in 3 places already

// range. Selection is set only for non-empty ranges
// Factored into a function since its needed in 3 places already
static void selectAndReveal( KTextEditor::View* view, const KTextEditor::Range& range ) {
    Q_ASSERT(view);
    if (range.isValid()) {
        view->setCursorPosition(range.start());
        view->setSelection(range);
    }
}

class TextDocumentPrivate
{