Merge pull request #226793: gnomeExtensions.arcmenu: 43 -> 44

This commit is contained in:
piegames 2023-04-18 12:43:25 +02:00 committed by GitHub
commit d9c199dbc6
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 6 additions and 7 deletions

View file

@ -2,13 +2,13 @@
stdenv.mkDerivation rec {
pname = "gnome-shell-extension-arcmenu";
version = "43";
version = "44";
src = fetchFromGitLab {
owner = "arcmenu";
repo = "ArcMenu";
rev = "v${version}";
sha256 = "sha256-Mb3C2H7jq+zVcLjb0iaiIdO6zmU54vhuYxhN6oBCyP8=";
rev = "v44.1";
sha256 = "sha256-+aPBRxjL5lgdm96SbRZnp+9o9nl2N8Rb3dehMAv883c=";
};
patches = [

View file

@ -1,11 +1,10 @@
--- a/extension.js
+++ b/extension.js
@@ -23,6 +23,8 @@
const Me = imports.misc.extensionUtils.getCurrentExtension();
@@ -20,6 +20,8 @@
const ExtensionUtils = imports.misc.extensionUtils;
const Me = 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;