From 011c9d5d262afc19bb709c813e34a2a51396aa3d Mon Sep 17 00:00:00 2001
From: Philipp Unger <philipp.unger.1988@gmail.com>
Date: Sat, 19 Aug 2023 15:33:06 +0200
Subject: [PATCH] open-application-menu and _toggleAppMenuare no longer
 available, comment the key binding replacement for now

---
 extension.js | 38 +++++++++++++++++++-------------------
 1 file changed, 19 insertions(+), 19 deletions(-)

diff --git a/extension.js b/extension.js
index a632ebb..5cf2457 100644
--- a/extension.js
+++ b/extension.js
@@ -91,13 +91,13 @@ export default class DashToPanelExtension extends Extension {
         SETTINGS = null;
         panelManager = null;
 
-        Utils.removeKeybinding('open-application-menu');
-        Utils.addKeybinding(
-            'open-application-menu',
-            new Gio.Settings({ schema_id: WindowManager.SHELL_KEYBINDINGS_SCHEMA }),
-            Main.wm._toggleAppMenu.bind(Main.wm),
-            Shell.ActionMode.NORMAL | Shell.ActionMode.POPUP
-        );
+        // Utils.removeKeybinding('open-application-menu');
+        // Utils.addKeybinding(
+        //     'open-application-menu',
+        //     new Gio.Settings({ schema_id: WindowManager.SHELL_KEYBINDINGS_SCHEMA }),
+        //     Main.wm._toggleAppMenu.bind(Main.wm),
+        //     Shell.ActionMode.NORMAL | Shell.ActionMode.POPUP
+        // );
 
         if (!reset) {
             extensionSystem.disconnect(extensionChangedHandler);
@@ -156,16 +156,16 @@ function _enable(extension) {
 
     panelManager.enable();
     
-    Utils.removeKeybinding('open-application-menu');
-    Utils.addKeybinding(
-        'open-application-menu',
-        new Gio.Settings({ schema_id: WindowManager.SHELL_KEYBINDINGS_SCHEMA }),
-        () => {
-            if(SETTINGS.get_boolean('show-appmenu'))
-                Main.wm._toggleAppMenu();
-            else
-                panelManager.primaryPanel.taskbar.popupFocusedAppSecondaryMenu();
-        },
-        Shell.ActionMode.NORMAL | Shell.ActionMode.POPUP
-    );
+    // Utils.removeKeybinding('open-application-menu');
+    // Utils.addKeybinding(
+    //     'open-application-menu',
+    //     new Gio.Settings({ schema_id: WindowManager.SHELL_KEYBINDINGS_SCHEMA }),
+    //     () => {
+    //         if(SETTINGS.get_boolean('show-appmenu'))
+    //             Main.wm._toggleAppMenu();
+    //         else
+    //             panelManager.primaryPanel.taskbar.popupFocusedAppSecondaryMenu();
+    //     },
+    //     Shell.ActionMode.NORMAL | Shell.ActionMode.POPUP
+    // );
 }