Function navigateToFile

src/rstudioapi.ts:167–174

(file: string, line: number, column: number)

}

export async function navigateToFile(file: string, line: number, column: number): Promise<void>{

    const targetDocument = await workspace.openTextDocument(Uri.file(file));
    const editor = await window.showTextDocument(targetDocument);
    const targetPosition = parsePosition([line, column], targetDocument);
    editor.selection = new Selection(targetPosition, targetPosition);
    editor.revealRange(new Range(targetPosition, targetPosition));
}

export async function setSelections(ranges: number[][], id: string): Promise<void> {
    // Setting selections can only be done on TextEditors not TextDocuments, but