Exemple #1
0
 public void Dispose()
 {
     form.Controls.Remove(list_box);
     if (child_json != null)
     {
         child_json.Dispose();
         child_json = null;
     }
 }
Exemple #2
0
 void list_box_right_click(object sender, EventArgs e)
 {
     if (child_json != null)
     {
         child_json.Dispose();
         child_json = null;
     }
     list_box.ClearSelected();
 }
Exemple #3
0
 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));
     }
 }