/// <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);
     }
 }
Esempio n. 2
0
 private void EditorTab_FormClosed(object sender, FormClosedEventArgs e)
 {
     languageBinding.Dispose();
     editor.Dispose();
     GC.Collect();
 }