diff options
| author | eerielili <lionel@les-miquelots.net> | 2024-09-22 11:27:55 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-09-22 13:27:55 +0200 |
| commit | d20553a111af4fb69e19ba8caeb0044035086c43 (patch) | |
| tree | 3f311d27840059ecfa29e758973cd501f8735955 /main/data/gtk | |
| parent | 3a4ac7c11d93553a485aa7dec9be05d71a7c9cb6 (diff) | |
| download | dino-master.tar.gz dino-master.zip | |
Diffstat (limited to 'main/data/gtk')
| -rw-r--r-- | main/data/gtk/help-overlay.ui | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/main/data/gtk/help-overlay.ui b/main/data/gtk/help-overlay.ui index 17b0555c..92c3d74b 100644 --- a/main/data/gtk/help-overlay.ui +++ b/main/data/gtk/help-overlay.ui @@ -22,6 +22,12 @@ </child> <child> <object class="GtkShortcutsShortcut"> + <property name="accelerator"><ctrl>comma</property> + <property name="title" translatable="yes">Show preferences</property> + </object> + </child> + <child> + <object class="GtkShortcutsShortcut"> <property name="accelerator"><ctrl>question</property> <property name="title" translatable="yes">Keyboard shortcuts</property> </object> |