${lead}
Bei vielen Gnome-Apps zeigen die Tastenkombinationen CTRL+F1 oder CTRL+? jetzt die unterstützten Tastenkürzel an. Diese Funktion steckt im GUI-Toolkit GTK+ 3.20, das bereits zwei Tage vor dem neuen Gnome erschienen ist.
