public WorldChangedEventArgs(MyWorld oldWorld, MyWorld newWorld)
{
OldWorld = oldWorld;
NewWorld = newWorld;
}
private void SelectWorldInWorldList(MyWorld world)
{
if (Properties.Settings.Default.ToolBarNodes == null)
{
Properties.Settings.Default.ToolBarNodes = new System.Collections.Specialized.StringCollection();
}
// if the world is not present in the combo box, add it first
if (!Properties.Settings.Default.ToolBarNodes.Contains(world.GetType().Name))
{
Properties.Settings.Default.ToolBarNodes.Add(world.GetType().Name);
worldList.Items.Add(MyConfiguration.KnownWorlds[Project.World.GetType()]);
}
worldList.SelectedItem = MyConfiguration.KnownWorlds[Project.World.GetType()];
}