Update the VS Code editor UI if a server-side document was changed during save#1573

isc-bsaviano merged 1 commit intointersystems-community:masterintersystems-community/vscode-objectscript:masterfrom

isc-bsaviano:fix-1565isc-bsaviano/vscode-objectscript:fix-1565Copy head branch name to clipboard