src/vs/editor/browser/widget/diffEditorWidget.ts/DiffEditorWidget/onHide
class DiffEditorWidget:	public onHide(): void {
		this._isVisible = false;
		this._originalEditor.onHide();
		this._modifiedEditor.onHide();
		// Remove all view zones & decorations
		this._cleanViewZonesAndDecorations();
	}