GUI: tabs can now be closed