Method readRangeInFile

extensions/vscode/src/util/ideUtils.ts:308–320

(uri: vscode.Uri, range: vscode.Range)

  }

  async readRangeInFile(uri: vscode.Uri, range: vscode.Range): Promise<string> {
    const buffer = await this.readFile(uri);
    if (buffer === null) {
      return "";
    }
    const contents = new TextDecoder().decode(buffer);
    const lines = contents.split("\n");
    return `${lines
      .slice(range.start.line, range.end.line)
      .join("\n")}\n${lines[
      range.end.line < lines.length - 1 ? range.end.line : lines.length - 1
    ].slice(0, range.end.character)}`;
  }

  async getTerminalContents(commands = -1): Promise<string> {
    const tempCopyBuffer = await vscode.env.clipboard.readText();