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;
}
}
void DestroyEditorAndSockets()
{
if (proxy != null)
{
proxy.Dispose();
proxy = null;
}
if (editorProcess != null)
{
editorProcess.Dispose();
editorProcess = null;
}
if (propGridSocket != null)
{
propertyFrame.Remove(propGridSocket);
propGridSocket.Dispose();
propGridSocket = null;
}
if (designerSocket != null)
{
designerFrame.Remove(designerSocket);
designerSocket.Dispose();
designerSocket = null;
}
}