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.
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.