diff options
Diffstat (limited to 'home/profiles/gui')
| -rw-r--r-- | home/profiles/gui/default.nix | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/home/profiles/gui/default.nix b/home/profiles/gui/default.nix index b44504d..2f42659 100644 --- a/home/profiles/gui/default.nix +++ b/home/profiles/gui/default.nix @@ -76,7 +76,17 @@ in gtk.enable = true; gtk.iconTheme.package = pkgs.papirus-icon-theme; gtk.iconTheme.name = neotheme.gtk.iconTheme.dark; - gtk.theme.package = (pkgs.orchis-theme.override { tweaks = [ "primary" "compact" ]; }); + gtk.theme.package = (pkgs.orchis-theme.override { tweaks = [ "primary" "compact" ]; }).overrideAttrs(old: { + version = "unstable-2024-07-27"; + + # TODO: version >2024-05-30 + src = pkgs.fetchFromGitHub { + repo = "Orchis-theme"; + owner = "vinceliuice"; + rev = "ac16750c3fb3499d01eb21b04c4347e3059809e1"; + hash = "sha256-tGuw5x85qtuAmUalbYywtOELC1yheaOnfZlCHYCWsIQ="; + }; + }); gtk.theme.name = neotheme.gtk.theme.dark; gtk.font.name = "${cfg.font.name} ${toString cfg.font.size}"; |