add option to close editor window on save

[kevintraver]

Ensure text editor closes programmatically on document save, eliminating the need to manually close lingering windows.

[kevintraver]

Ok, looking this over more, it seems like there is no easy way to determine which of these scenarios actually trigger the onDidCloseTextDocument event:

An event that is emitted when a text document is disposed or when the language id of a text document has been changed.

[fregante]

As mentioned:

• the disconnection on save is a bug and will be fixed
• autoclosing the editor will not be the default, but it can be an option

What you want to listen to is the disconnection event specifically (see the socket.on('close' line) and then add one more option to the extension.

If you are already in the editor, you can disconnect by closing the tab, so I'm not sure this will get you what you want in the end.

[kevintraver]

Ok, what about something like this:

set a new configuration option

function getCloseOnsave(): boolean {
  return vscode.workspace.getConfiguration('ghostText').get('closeOnSave') || false;
}

set up a new event listener for onDidSaveTextDocument

vscode.workspace.onDidSaveTextDocument(onDocumentSave, ...setup);

and then close on save

async function onDocumentSave(savedDocument: vscode.TextDocument) {
  const field = documents.get(savedDocument.uri.toString());
  if (!field) {
    return;
  }
  if (getCloseOnsave()) {
    await vscode.commands.executeCommand('workbench.action.closeActiveEditor')
  }
}

[kevintraver]

The only problem I'm having is documents does not seem to be available in onDocumentSave, so I can't match the field

[fregante]

set up a new event listener for onDidSaveTextDocument

No. It's a bug and it will be fixed.

• Connection is lost after save GhostText#292

[kevintraver]

I'll go ahead and close this out.