Esempio n. 1
0
        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();
        }
Esempio n. 2
0
        private void Destroy()
        {
            Logger.LogInfo("WQE.net", "Shutting down SQL editor (" + TabText + ")\n");

            ManagedNotificationCenter.RemoveObserver(this, "GNFormTitleDidChange");

            historyDetailsView.Dispose();
            historyEntriesView.Dispose();

            dbSqlEditorBE.Dispose();
        }