Hacks to work around gnome-shell popup-menu bug

[show-app-menu-on-key-press] / extension.js

diff --git a/extension.js b/extension.js
index 58c40761d1d32b081962a9f9d86bba654e345547..6bad7ea8dcac98e147eb3d55c72d46a618f13e95 100644 (file)
--- a/extension.js
+++ b/extension.js
@@ -21,7 +21,13 @@ function disable() {
 function onStageKeyPress() {
     if (!hasVisibleWindows() && !Main.overview.visible) {
         Main.overview.viewSelector.showApps();
-        Main.overview.viewSelector.appDisplay._showView(Views.FREQUENT);
+        const appDisplay = Main.overview.viewSelector.appDisplay;
+        const view = appDisplay._views[Views.FREQUENT].view;
+        view._grid.destroyAll()
+        view._items = new Map();
+        view._orderedItems = [];
+        view._redisplay();
+        appDisplay._showView(Views.FREQUENT);
         Main.overview.viewSelector._activePage.navigate_focus(null, St.DirectionType.TAB_FORWARD, false);
     }
 }