The source project of this merge request has been removed.
application: Add preferences shortcut
This merge request contains three commits:
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
help-overlay: Remove visible properties
Due to widgets are visible by default on GTK4 remove visible property names. Source: https://gitlab.gnome.org/GNOME/gtk/-/blob/main/gtk/gtkwidget.c#L1275
help-overlay: Use action-name properties
Use action-name properties to avoid repeating shortcut assignments.
Edited by Ghost User