public void HTMLWindow_Refresh(string ID) { if (this.label_target_name.InvokeRequired) { HTMLWindow_Refresh_Callback d = new HTMLWindow_Refresh_Callback(HTMLWindow_Refresh); label_target_name.Invoke(d, new object[] { ID }); return; } ((ScriptWindow_HTML)ScriptWindows[ID]).RefreshHTML(); }