Class QuickEdit

extensions/vscode/src/quickEdit/QuickEditQuickPick.ts:72–545

 * quickly edit a file.
 */
export class QuickEdit {
  /**
   * Matches the search char followed by non-space chars, excluding matches ending with a space.
   * This is used to detect file search queries while allowing subsequent prompt text
   */
  private static hasFileSearchQueryRegex = new RegExp(
    `${FILE_SEARCH_CHAR}[^${FILE_SEARCH_CHAR}\\s]+(?!\\s)$`,
  );

  private static maxFileSearchResults = 20;

  private range?: vscode.Range;
  private initialPrompt?: string;

  private previousInput?: string;

  /**
   * Handles situations where the user navigates to a different editor
   * while interacting with the Quick Pick
   */
  private editorWhenOpened!: vscode.TextEditor;

  /**
   * Required to store the string content of a context provider
   * while naviagting beween Quick Picks.
   */
  private contextProviderStr?: string;

  constructor(
    private readonly verticalDiffManager: VerticalDiffManager,
    private readonly configHandler: ConfigHandler,
    private readonly webviewProtocol: VsCodeWebviewProtocol,
    private readonly ide: IDE,
    private readonly context: vscode.ExtensionContext,
    private readonly fileSearch: FileSearch,
  ) {}

  /**
   * Shows the Quick Edit Quick Pick, allowing the user to select an initial item or enter a prompt.
   * Displays a quick pick for "History" or "ContextProviders" to set the prompt or context provider string.
   * Displays a quick pick for "Model" to set the current model title.
   * Appends the entered prompt to the history and streams the edit with input and context.
   */
  async show(params?: QuickEditShowParams) {
    // Clean up state from previous quick picks, e.g. if a user pressed `esc`

    const editor = vscode.window.activeTextEditor;

    // We only allow users to interact with a quick edit if there is an open editor
    if (!editor) {
      return;
    }

    const hasChanges = !!this.verticalDiffManager.getHandlerForFile(
      editor.document.uri.toString(),
    );

    if (hasChanges) {