public void MoveCurrentLevel(int offset) { // Bug workaround levelExplorerListBox.Focus(); _levelSet.Move(levelExplorerListBox.SelectedIndex, levelExplorerListBox.SelectedIndex + offset); foreach (LevelEditorTabPage tabPage in rightTabControl.TabPages) { tabPage.Name = tabPage.Text = tabPage._level.ToString(); } }