From a269f706bd1f03663fbe7c646b0d538872cc81b7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Philipp=20H=C3=B6rist?= <philipp@hoerist.com>
Date: Fri, 2 Nov 2018 21:00:27 +0100
Subject: [PATCH] Remove unused shortcut

---
 gajim/data/gui/shortcuts_window.ui | 13 -------------
 1 file changed, 13 deletions(-)

diff --git a/gajim/data/gui/shortcuts_window.ui b/gajim/data/gui/shortcuts_window.ui
index 994450a54..42a721079 100644
--- a/gajim/data/gui/shortcuts_window.ui
+++ b/gajim/data/gui/shortcuts_window.ui
@@ -75,19 +75,6 @@
             </child>
           </object>
         </child>
-        <child>
-          <object class="GtkShortcutsGroup">
-            <property name="visible">1</property>
-            <property name="title" translatable="yes">Appearance</property>
-            <child>
-              <object class="GtkShortcutsShortcut">
-                <property name="visible">1</property>
-                <property name="accelerator">&lt;alt&gt;c</property>
-                <property name="title" translatable="yes">Toggle full / compact view</property>
-              </object>
-            </child>
-          </object>
-        </child>
         <child>
           <object class="GtkShortcutsGroup">
             <property name="visible">1</property>