From 286801bad0ab4bcc9071286c8a24e67d8cf62918 Mon Sep 17 00:00:00 2001 From: Heitor Augusto Date: Thu, 4 Jul 2024 15:01:26 -0300 Subject: [PATCH] Add plasmusic-toolbar widget to extraWidgets option (#237) --- modules/panels.nix | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/modules/panels.nix b/modules/panels.nix index ef72039..20f40cb 100644 --- a/modules/panels.nix +++ b/modules/panels.nix @@ -132,7 +132,7 @@ in }; options.programs.plasma.extraWidgets = lib.mkOption { - type = with lib.types; listOf (enum [ "application-title-bar" ]); + type = with lib.types; listOf (enum [ "application-title-bar" "plasmusic-toolbar" ]); default = []; example = [ "application-title-bar" ]; description = '' @@ -146,7 +146,8 @@ in # these should run at the same time. config = (lib.mkIf cfg.enable { home.packages = with pkgs; [] - ++ lib.optionals (lib.elem "application-title-bar" cfg.extraWidgets || hasWidget "com.github.antroids.application-title-bar") [ application-title-bar ]; + ++ lib.optionals (lib.elem "application-title-bar" cfg.extraWidgets || hasWidget "com.github.antroids.application-title-bar") [ application-title-bar ] + ++ lib.optionals (lib.elem "plasmusic-toolbar" cfg.extraWidgets || hasWidget "plasmusic-toolbar") [ plasmusic-toolbar ]; programs.plasma.startup.desktopScript."panels_and_wallpaper" = (lib.mkIf anyPanelOrWallpaperSet (