public void update_values()
 {
     dropdown.ClearOptions();
     dropdown.AddOptions(manager.GetVariableKeys());
     dropdown.RefreshShownValue();
 }