From 751cf0860fc50fedefea9b1e9dfcbde25f8ffdde Mon Sep 17 00:00:00 2001
From: Andres Salomon <dilinger@queued.net>
Date: Wed, 6 May 2020 18:02:21 -0400
Subject: [PATCH] help-overlay: reduce the length of the header even further

---
 ui/gtk/help-overlay.ui | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ui/gtk/help-overlay.ui b/ui/gtk/help-overlay.ui
index 7dfb5b85..c0c66461 100644
--- a/ui/gtk/help-overlay.ui
+++ b/ui/gtk/help-overlay.ui
@@ -262,7 +262,7 @@
                     <object class="GtkShortcutsGroup">
                         <property name="visible">True</property>
                         <property name="title" translatable="yes"
-                                  context="shortcut window">Single-key shortcuts (if enabled in Preferences)</property>
+                                  context="shortcut window">Single-key shortcuts (if enabled)</property>
                         <child>
                             <object class="GtkShortcutsShortcut">
                                 <property name="visible">True</property>