2019-10-19 12:55:35 +02:00
|
|
|
{ config, pkgs, ... }:
|
|
|
|
|
2020-06-18 16:18:57 +02:00
|
|
|
let
|
|
|
|
pop-gtk-theme = pkgs.pop-gtk-theme.overrideAttrs (oldAttrs: rec {
|
|
|
|
postInstall = ''
|
|
|
|
# fix dark gnome-shell theme
|
|
|
|
ln -s $out/share/gnome-shell/theme/Pop-dark $out/share/themes/Pop-dark/gnome-shell
|
|
|
|
'';
|
|
|
|
});
|
|
|
|
in
|
2019-10-19 12:55:35 +02:00
|
|
|
{
|
|
|
|
gtk.enable = true;
|
2020-03-12 15:15:07 +01:00
|
|
|
gtk.theme.name = "Pop-dark";
|
2020-06-18 16:18:57 +02:00
|
|
|
gtk.theme.package = pop-gtk-theme;
|
2019-10-19 12:55:35 +02:00
|
|
|
gtk.gtk3.extraConfig = {
|
|
|
|
gtk-application-prefer-dark-theme = true;
|
|
|
|
};
|
|
|
|
}
|