mirror of
https://github.com/nix-community/plasma-manager.git
synced 2024-08-17 05:40:41 +03:00
Add plasmusic-toolbar widget to extraWidgets option (#237)
This commit is contained in:
parent
7e062fcd66
commit
286801bad0
@ -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
|
||||
(
|
||||
|
Loading…
Reference in New Issue
Block a user