bugfix: quitting via pause menu no longer causes crash by trying to delete SelectionGroup twice.