/// <summary> /// Die verwendeten Ressourcen bereinigen. /// </summary> protected override void Dispose(bool disposing) { if (disposing) { if (components != null) { components.Dispose(); } } HTML.myHTML = null; base.Dispose(disposing); }
public static void showHTML(GUI owner, ListBox box, string idtext) { if (HTML.myHTML == null) { HTML.myHTML = new HTML(owner, box, idtext); } HTML.myHTML.Enabled = true; HTML.myHTML.Show(); HTML.myHTML.Focus(); }