Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

Is it possible to set TextDocument as dirty programatically in VSCode?

Is it possible to set a TextDocument as dirty programatically in VSCode? Something like

openedDocument.setDirty()
like image 959
Foxhoundn Avatar asked Apr 24 '18 00:04

Foxhoundn


People also ask

How do you change all occurrences of a word in VS Code?

Ctrl+D selects the word at the cursor, or the next occurrence of the current selection. Tip: You can also add more cursors with Ctrl+Shift+L, which will add a selection at each occurrence of the current selected text.

Does Visual Studio code have a wysiwyg editor?

Visual Studio Code Extension for Tizen Web supports WYSIWYG Design Editor features such as Preview, JavaScript Assistant, Structure View, New Page, HTML Assistant, Undo, and Redo.


1 Answers

There isn't a direct way to do it; TextDocument.isDirty is a read-only property.

However, I put together a workaround that sets isDirty by making an edit that has no effect (tested with VSCode 1.37.1):

// Set the dirty bit on 'textEditor'.  This is meant to be called as a
// text editor command.
async function setDirty(textEditor: TextEditor, editBuilder: TextEditorEdit)
  : Promise<void>
{
  // The strategy here is to make a change that has no effect.  If the
  // document has text in it, we can replace some text with itself
  // (simply inserting an empty string does not work).  We prefer to
  // edit text at the end of the file in order to minimize spurious
  // recomputation by analyzers.

  // Try to replace the last line.
  if (textEditor.document.lineCount >= 2) {
    const lineNumber = textEditor.document.lineCount-2;
    const lastLineRange = new Range(
      new Position(lineNumber, 0),
      new Position(lineNumber+1, 0));
    const lastLineText = textEditor.document.getText(lastLineRange);
    editBuilder.replace(lastLineRange, lastLineText);
    return;
  }

  // Try to replace the first character.
  const range = new Range(new Position(0, 0), new Position(0, 1));
  const text = textEditor.document.getText(range);
  if (text.length > 0) {
    editBuilder.replace(range, text);
    return;
  }

  // With an empty file, we first add a character and then remove it.
  // This has to be done as two edits, which can cause the cursor to
  // visibly move and then return, but we can at least combine them
  // into a single undo step.
  await textEditor.edit(
    (innerEditBuilder: TextEditorEdit) => {
      innerEditBuilder.replace(range, " ");
    },
    { undoStopBefore: true, undoStopAfter: false });

  await textEditor.edit(
    (innerEditBuilder: TextEditorEdit) => {
      innerEditBuilder.replace(range, "");
    },
    { undoStopBefore: false, undoStopAfter: true });
}

In your activate function, hook it up with something like:

  context.subscriptions.push(
    commands.registerTextEditorCommand("extension.setDirty", setDirty));
like image 79
Scott McPeak Avatar answered Oct 16 '22 12:10

Scott McPeak