From f23874e6fb179f6909c06f4b1f7f73d35c279470 Mon Sep 17 00:00:00 2001
From: Miquel Lionel <lionel@les-miquelots.net>
Date: Sun, 8 Oct 2023 18:27:12 +0200
Subject: Add keyboard shortcut to show preferences (Ctrl+,)

---
 main/data/gtk/help-overlay.ui | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'main/data/gtk/help-overlay.ui')

diff --git a/main/data/gtk/help-overlay.ui b/main/data/gtk/help-overlay.ui
index 17b0555c..7d2aece9 100644
--- a/main/data/gtk/help-overlay.ui
+++ b/main/data/gtk/help-overlay.ui
@@ -8,6 +8,12 @@
                 <child>
                     <object class="GtkShortcutsGroup">
                         <property name="title" translatable="yes">General</property>
+                        <child>
+                            <object class="GtkShortcutsShortcut">
+                                <property name="accelerator">&lt;ctrl&gt;comma</property>
+                                <property name="title" translatable="yes">Show preferences</property>
+                            </object>
+                        </child>
                         <child>
                             <object class="GtkShortcutsShortcut">
                                 <property name="accelerator">&lt;ctrl&gt;T</property>
-- 
cgit v1.2.3-54-g00ecf