nixpkgs/pkgs/desktops/gnome/extensions/arcmenu/fix_gmenu.patch
Jan Tojnar 468cb5980b gnome: rename from gnome3
Since GNOME version is now 40, it no longer makes sense to use the old attribute name.
2021-05-08 09:47:42 +02:00

12 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;