gnomeExtensions.arc-menu: 43 -> 47

This commit is contained in:
Thomas Kobber Panum 2020-07-28 07:58:05 +02:00
parent 74cb17f3ba
commit 2120bd4ad6
No known key found for this signature in database
GPG key ID: 571C5B6EE036D221
2 changed files with 11 additions and 12 deletions

View file

@ -2,13 +2,13 @@
stdenv.mkDerivation rec {
pname = "gnome-shell-arc-menu";
version = "43";
version = "47";
src = fetchFromGitLab {
owner = "LinxGem33";
owner = "arcmenu-team";
repo = "Arc-Menu";
rev = "v${version}-Stable";
sha256 = "1rspl89bxqy0wla8cj0h1d29gp38xg1vmvhc1qg7bl46ank4yp5q";
sha256 = "1hhjxdm1sm9pddhkkxx532hqqiv9ghvqgn9xszg1jwhj29380fv6";
};
patches = [

View file

@ -1,12 +1,11 @@
--- a/extension.js
+++ b/extension.js
@@ -29,6 +29,8 @@
* https://github.com/The-Panacea-Projects/Gnomenu
*/
@@ -23,6 +23,8 @@
const Me = imports.misc.extensionUtils.getCurrentExtension();
+
+imports.gi.GIRepository.Repository.prepend_search_path('@gmenu_path@');
// Import Libraries
const Main = imports.ui.main;
+
const {GLib, Gio, St} = imports.gi;
const Constants = Me.imports.constants;
const Controller = Me.imports.controller;