/// Refreshes the toolbox.
 public void Refresh()
 {
     toolbox.Refresh();
 }