material-shell: add patch to fix font scaling (#99878)

This commit is contained in:
Benjamin Staffin 2020-10-06 13:00:43 -04:00 committed by GitHub
parent 6f90e1df4f
commit 2452fcddaf
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,4 +1,4 @@
{ stdenv, lib, fetchFromGitHub, gnome3 }:
{ stdenv, lib, fetchFromGitHub, gnome3, fetchpatch }:
stdenv.mkDerivation rec {
pname = "gnome-shell-extension-material-shell";
@ -11,6 +11,15 @@ stdenv.mkDerivation rec {
sha256 = "076cv1l5qr5x71przjwvbzx0m91n4z0byc2gc3r48l8vsr2d0hwf";
};
patches = [
# Fix for https://github.com/material-shell/material-shell/issues/284
# (Remove this patch when updating to version >= 8)
(fetchpatch {
url = "https://github.com/material-shell/material-shell/commit/fc27489a1ec503a4a5c7cb2f4e1eefa84a7ea2f1.patch";
sha256 = "0x2skg955c4jqgwbkfhk7plm8bh1qnk66cdds796bzkp3hb5syw8";
})
];
# This package has a Makefile, but it's used for building a zip for
# publication to extensions.gnome.org. Disable the build phase so
# installing doesn't build an unnecessary release.