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