private void Destroy() { formBE.Dispose(); ManagedNotificationCenter.RemoveObserver(this, "GNFormTitleDidChange"); // No need to again close all docked editors here. This happened already in CloseDocument(). canvasViewer.FinalizeCanvas(); }
private void Destroy() { Logger.LogInfo("WQE.net", "Shutting down SQL editor (" + TabText + ")\n"); ManagedNotificationCenter.RemoveObserver(this, "GNFormTitleDidChange"); historyDetailsView.Dispose(); historyEntriesView.Dispose(); dbSqlEditorBE.Dispose(); }