nixpkgs/pkgs/desktops/gnome-3/extensions/arcmenu/fix_gmenu.patch
dkabot e1fc0f5e38 gnomeExtensions.arc-menu: rename to gnomeExtensions.arcmenu
The upstream has been changed to a different repository with this name.
2021-02-14 07:57:05 -05:00

11 lines
317 B
Diff

--- a/extension.js
+++ b/extension.js
@@ -23,6 +23,8 @@
const Me = imports.misc.extensionUtils.getCurrentExtension();
+imports.gi.GIRepository.Repository.prepend_search_path('@gmenu_path@');
+
const {GLib, Gio, St} = imports.gi;
const Constants = Me.imports.constants;
const Controller = Me.imports.controller;