diff options
author | Florian Klink <flokli@flokli.de> | 2023-04-28 11:27:22 +0300 |
---|---|---|
committer | Florian Klink <flokli@flokli.de> | 2023-04-28 11:27:43 +0300 |
commit | fdfea5fba41226b83c144bed0d84cd97cde10d88 (patch) | |
tree | 9343780e7ac81b6d0375f3d4f95aa740534d7575 /pkgs/desktops/gnome/extensions | |
parent | b90d93cb33c1f7861b2382894d27d4575a332e91 (diff) |
gnomeExtensions.pop-shell: unstable-2023-04-05 -> unstable-2023-04-27
This contains https://github.com/pop-os/shell/pull/1618, which should fix grab handling behaviour in GNOME/Mutter 44.
Diffstat (limited to 'pkgs/desktops/gnome/extensions')
-rw-r--r-- | pkgs/desktops/gnome/extensions/pop-shell/default.nix | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/pkgs/desktops/gnome/extensions/pop-shell/default.nix b/pkgs/desktops/gnome/extensions/pop-shell/default.nix index fbe88e96b8733..8d89663570921 100644 --- a/pkgs/desktops/gnome/extensions/pop-shell/default.nix +++ b/pkgs/desktops/gnome/extensions/pop-shell/default.nix @@ -2,13 +2,13 @@ stdenv.mkDerivation rec { pname = "gnome-shell-extension-pop-shell"; - version = "unstable-2023-04-05"; + version = "unstable-2023-04-27"; src = fetchFromGitHub { owner = "pop-os"; repo = "shell"; - rev = "a3a1b7bb832838fec2ea875954d33443fc680912"; - hash = "sha256-B82UKtJRDDejBX1UBBIjPRO8rzHNapJRi8wv6dT7oJ8="; + rev = "b5acccefcaa653791d25f70a22c0e04f1858d96e"; + hash = "sha256-w6EBHKWJ4L3ZRVmFqZhCqHGumbElQXk9udYSnwjIl6c="; }; nativeBuildInputs = [ glib nodePackages.typescript gjs ]; |