gnomeExtensions.arc-menu: rename to gnomeExtensions.arcmenu

The upstream has been changed to a different repository with this name.

1 files changed, 11 insertions, 0 deletions

diff --git a/pkgs/desktops/gnome-3/extensions/arcmenu/fix_gmenu.patch b/pkgs/desktops/gnome-3/extensions/arcmenu/fix_gmenu.patch
new file mode 100644
index 00000000000..5d8584f52a6
--- /dev/null
+++ b/pkgs/desktops/gnome-3/extensions/arcmenu/fix_gmenu.patch
@@ -0,0 +1,11 @@
+--- 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;