Function onExpandSelection

Extension/src/LanguageServer/extension.ts:802–808

(r: Range)

}

function onExpandSelection(r: Range) {
    const activeTextEditor: vscode.TextEditor | undefined = vscode.window.activeTextEditor;
    if (activeTextEditor) {
        activeTextEditor.selection = new vscode.Selection(new vscode.Position(r.start.line, r.start.character), new vscode.Position(r.end.line, r.end.character));
        telemetry.logLanguageServerEvent('ExpandSelection');
    }
}

async function onAddToIncludePath(path: string): Promise<void> {
    if (isFolderOpen()) {