The source project of this merge request has been removed.
Improve Keyboard Shortcuts dialog and more
help-overlay.ui: remove ctrl+f1 shortcut from Keyboard Shortcuts dialog
Due to a conflict, remove ctrl+f1 shortcut from the dialog.
gnome-mines.vala: Improve four shortcuts
Add KP_1-KP_4 support while choosing the game size
help-overlay.ui: Add four shortcuts to Keyboard Shortcuts dialog
1: Game size: Small 2: Game size: Medium 3: Game size: Large 4: Game size: Custom