Widget collections: Special characters (improvement)

The naming of the tabs now allows special characters. Furthermore, the "standard cross" for deleting the current name has been added to the "Rename widget" dialogue window.