void DestroyEditorAndSockets()
        {
            if (proxy != null)
            {
                proxy.Dispose();
                proxy = null;
            }

            if (host != null)
            {
                System.Diagnostics.Trace.WriteLine("Disposing AspNetEdit's EditorHost");

                designerFrame.Remove(webKitWindow);
                webKitWindow.Dispose();
                host.Dispose();
                host = null;

                System.Diagnostics.Trace.WriteLine("Disposed AspNetEdit's EditorHost");
            }

            if (IdeApp.Workbench.ActiveDocument != null)
            {
                IdeApp.Workbench.ActiveDocument.DocumentParsed -= document_OnParsed;
            }
        }
Example #2
0
 public override void Dispose()
 {
     boldButton.Dispose();
     italicButton.Dispose();
     cbTyp.Dispose();
     textEntry.Dispose();
     scrollText.Dispose();
     categoryLabel.Dispose();
     saveButton.Dispose();
     cancelButton.Dispose();
     base.Dispose();
 }
Example #3
0
        protected virtual void Dispose(bool disposing)
        {
            if (disposed)
            {
                return;
            }
            disposed = true;

            if (disposing)
            {
                Preferences.SettingChanged -= OnPreferencesChanged;
                // free managed resources
                if (rating != null)
                {
                    rating.Dispose();
                    rating = null;
                }
                if (description_entry != null)
                {
                    description_entry.Dispose();
                    description_entry = null;
                }
                if (tag_view != null)
                {
                    tag_view.Dispose();
                    tag_view = null;
                }
                if (photo_view_scrolled != null)
                {
                    photo_view_scrolled.Dispose();
                    photo_view_scrolled = null;
                }
                if (filmstrip != null)
                {
                    filmstrip.Dispose();
                    filmstrip = null;
                }
                if (inner_vbox != null)
                {
                    inner_vbox.Dispose();
                    inner_vbox = null;
                }
                if (inner_hbox != null)
                {
                    inner_hbox.Dispose();
                    inner_hbox = null;
                }
            }
            // free unmanaged resources
        }
Example #4
0
        public void Dispose()
        {
            System.Diagnostics.Trace.WriteLine("Disposing AspNetEdit editor process");

            if (disposed)
            {
                return;
            }
            disposed = true;

            designerFrame.Remove(webKitFrame);
            webKitFrame.Dispose();
            //outerBox.Dispose ();

            host.Dispose();
            //base.Dispose ();
            System.Diagnostics.Trace.WriteLine("AspNetEdit editor process disposed");
        }