public void Dispose() { form.Controls.Remove(list_box); if (child_json != null) { child_json.Dispose(); child_json = null; } }
void list_box_right_click(object sender, EventArgs e) { if (child_json != null) { child_json.Dispose(); child_json = null; } list_box.ClearSelected(); }
void list_box_index_change(object sender, EventArgs e) { if (child_json != null) { child_json.Dispose(); child_json = null; } if (list_box.SelectedItem != null) { child_json = new GUI_node_json(form, Lenghten_path(path, (string)list_box.SelectedItem), new Point(30, 360)); } }