private void SwapTabPages (TabPage src, TabPage dst)
{
int srci = TabPages.IndexOf (src);
int dsti = TabPages.IndexOf (dst);
TabPages[dsti] = src;
TabPages[srci] = dst;
if (SelectedIndex == srci)
SelectedIndex = dsti;
else if (SelectedIndex == dsti)
SelectedIndex = srci;
Refresh();
}
}