Damn. I never realized. Perhaps it’s at least an improvement in visual design in that specific respect then – since I noticed I could now enter an integer with the keyboard – but that is disappointing. That was the best defence of the new GUI I could conjure, too… XD