The source project of this merge request has been removed.
help-overlay: Use action-name properties
Use action-name properties to avoid repeating shortcut assignments.
application: Add preferences shortcut
Ctrl+comma is the standard shortcut for Preferences across GNOME. Add support for it to comply GNOME HIG. More information: https://developer.gnome.org/hig/reference/keyboard.html