/// <summary>
/// Clean up any resources being used.
/// </summary>
protected virtual void Dispose(bool disposing)
{
if (disposing)
{
if (editorControl != null)
{
editorControl.Dispose();
editorControl = null;
}
GC.SuppressFinalize(this);
}
}
private void EditorTab_FormClosed(object sender, FormClosedEventArgs e)
{
languageBinding.Dispose();
editor.Dispose();
GC.Collect();
}
