Michael Catanzaro
67a5d88e0d
Port to GTK 4
...
I probably should have removed GtkDialog.run() use first, in a separate
commit, but I didn't and now it would be a lot of effort to split it
out. So here it is: one big GTK 4 megacommit.
2020-12-24 16:41:53 +00:00
Sabri Ünal
aa00f096f2
help-overlay.ui: Remove Ctrl+F1 shortcut
...
Due to a conflict, remove Ctrl+F1 shortcut from Keyboard Shortcuts dialog.
https://gitlab.gnome.org/GNOME/gtk/-/issues/626
2020-04-09 16:37:59 +03:00
Sabri Ünal
258db56527
help-overlay.ui: Add new shortcut: F10: Open Menu
...
Add missing F10 shortcut to open the menu.
2020-04-09 16:36:48 +03:00
Arnaud Bonatti
faded5fb64
Improve Shortcuts dialog.
2020-04-08 19:35:02 +02:00
Arnaud Bonatti
46ab8f5e51
Add Ctrl-P pause shortcut.
2020-04-08 19:34:53 +02:00
Jeremy Bicha
26eb0d6b71
Add Keyboard Shortcuts overlay
2018-12-08 18:37:22 -05:00