src/vs/workbench/contrib/files/browser/editors/textFileSaveErrorHandler.ts/TextFileSaveErrorHandler/onFileSavedOrReverted
class TextFileSaveErrorHandler:	private onFileSavedOrReverted(resource: URI): void {
		const messageHandle = this.messages.get(resource);
		if (messageHandle) {
			messageHandle.close();
			this.messages.delete(resource);
		}
	}