Merge pull request #174220 from bobby285271/pantheon

pantheon.gala: save/restore easing on workspace switch
This commit is contained in:
Bobby Rong 2022-05-24 18:26:57 +08:00 committed by GitHub
commit 2e01fc66bc
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1,6 +1,7 @@
{ lib
, stdenv
, fetchFromGitHub
, fetchpatch
, nix-update-script
, pkg-config
, meson
@ -38,6 +39,13 @@ stdenv.mkDerivation rec {
# We look for plugins in `/run/current-system/sw/lib/` because
# there are multiple plugin providers (e.g. gala and wingpanel).
./plugins-dir.patch
# WindowManager: save/restore easing on workspace switch
# https://github.com/elementary/gala/pull/1430
(fetchpatch {
url = "https://github.com/elementary/gala/commit/1f94db16c627f73af5dc69714611815e4691b5e8.patch";
sha256 = "sha256-PLNbAXyOG0TMn1y2QIBnL6BOQVqBA+DBgPOVJo4nDr8=";
})
];
nativeBuildInputs = [