From b5915cfdf2d3ceb47cadfb9a7ae30ae9686f8638 Mon Sep 17 00:00:00 2001
From: wheaney <42350981+wheaney@users.noreply.github.com>
Date: Tue, 7 May 2024 13:36:02 -0700
Subject: [PATCH] Use shortcut widget for nicer display of shortcuts

---
 ui/src/gtk/help-overlay.ui | 29 -----------------------------
 1 file changed, 29 deletions(-)
 delete mode 100644 ui/src/gtk/help-overlay.ui

diff --git a/ui/src/gtk/help-overlay.ui b/ui/src/gtk/help-overlay.ui
deleted file mode 100644
index ef12f02..0000000
--- a/ui/src/gtk/help-overlay.ui
+++ /dev/null
@@ -1,29 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<interface>
-  <object class="GtkShortcutsWindow" id="help_overlay">
-    <property name="modal">True</property>
-    <child>
-      <object class="GtkShortcutsSection">
-        <property name="section-name">shortcuts</property>
-        <property name="max-height">10</property>
-        <child>
-          <object class="GtkShortcutsGroup">
-            <property name="title" translatable="yes" context="shortcut window">General</property>
-            <child>
-              <object class="GtkShortcutsShortcut">
-                <property name="title" translatable="yes" context="shortcut window">Show Shortcuts</property>
-                <property name="action-name">win.show-help-overlay</property>
-              </object>
-            </child>
-            <child>
-              <object class="GtkShortcutsShortcut">
-                <property name="title" translatable="yes" context="shortcut window">Quit</property>
-                <property name="action-name">app.quit</property>
-              </object>
-            </child>
-          </object>
-        </child>
-      </object>
-    </child>
-  </object>
-</interface>