private void SwitchDimension(Dimension newDim)
{
overworldToolStripMenuItem.Checked = dim == Dimension.Overworld;
netherToolStripMenuItem.Checked = dim == Dimension.Nether;
endToolStripMenuItem.Checked = dim == Dimension.End;
if (world == null)
return;
if (!SaveIfNecessary())
return;
if (newDim == dim)
return;
ResetControls();
dim = newDim;
overworldToolStripMenuItem.Checked = dim == Dimension.Overworld;
netherToolStripMenuItem.Checked = dim == Dimension.Nether;
endToolStripMenuItem.Checked = dim == Dimension.End;
String[] regions = world.GetRegionPaths(dim);
foreach (String r in regions)
lstRegions.Items.Add(RegionFile.ToString(r));
return;
}