The source project of this merge request has been removed.
application: Add shortcut support for preferences
Ctrl+comma is a standard shortcut for Preferences across GNOME.
Add support for it to comply GNOME HIG.
More information: https://developer.gnome.org/hig/reference/keyboard.html