pkgs/desktops/gnome/core/gnome-shell-extensions/fix_gmenu.patch

   1 diff --git a/extensions/apps-menu/extension.js b/extensions/apps-menu/extension.js
   2 index 6eb58f1..28e1195 100644
   3 --- a/extensions/apps-menu/extension.js
   4 +++ b/extensions/apps-menu/extension.js
   5 @@ -10,7 +10,7 @@ import Atk from 'gi://Atk';
   6  import Clutter from 'gi://Clutter';
   7  import Gio from 'gi://Gio';
   8  import GLib from 'gi://GLib';
   9 -import GMenu from 'gi://GMenu';
  10 +import GIRepository from 'gi://GIRepository';
  11  import GObject from 'gi://GObject';
  12  import Gtk from 'gi://Gtk';
  13  import Meta from 'gi://Meta';
  14 @@ -25,6 +25,8 @@ import * as Main from 'resource:///org/gnome/shell/ui/main.js';
  15  import * as PanelMenu from 'resource:///org/gnome/shell/ui/panelMenu.js';
  16  import * as PopupMenu from 'resource:///org/gnome/shell/ui/popupMenu.js';
  17
  18 +GIRepository.Repository.prepend_search_path('@gmenu_path@');
  19 +const {default: GMenu} = await import('gi://GMenu');
  20  const appSys = Shell.AppSystem.get_default();
  21
  22  const APPLICATION_ICON_SIZE = 32;