in src/controller/urlController.ts [35:51]
async revealFile(uri: vscode.Uri, lineNumber: string | undefined) {
const editor = await vscode.window.showTextDocument(uri);
if (editor && lineNumber) {
const { endLine } = RangeHelper.splitString(lineNumber);
const endCharacter = (
await this.directoryController.getLineFromFile(uri, endLine)
)?.length;
// highlight offending lines
const lineRange = RangeHelper.fromString(lineNumber, endCharacter ?? 0);
const selection = new vscode.Selection(lineRange.start, lineRange.end);
editor.selections = [selection];
// move editor to focus on line(s)
editor.revealRange(lineRange, vscode.TextEditorRevealType.InCenter);
}
}