Create a keyboard shortcut for Preferences
Hi, According to GNOME HIG, we may use Ctrl+, keyboard shortcut for Preferences.
https://developer.gnome.org/hig/reference/keyboard.html#legacy-shortcuts
It may improve user experience.
Edited by Andre Klapper