From be7b83b460a6b90367885340121c2edf2a016389 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jos=C3=A9=20Romildo=20Malaquias?= Date: Mon, 11 May 2020 08:28:29 -0300 Subject: [PATCH] jgmenu: optionally install a xfce4 panel plugin - It is a contrib feature. - Default to false. --- pkgs/applications/misc/jgmenu/default.nix | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/pkgs/applications/misc/jgmenu/default.nix b/pkgs/applications/misc/jgmenu/default.nix index 8588a05b122..12aece3ba55 100644 --- a/pkgs/applications/misc/jgmenu/default.nix +++ b/pkgs/applications/misc/jgmenu/default.nix @@ -8,6 +8,9 @@ , menu-cache , xorg , makeWrapper +, enableXfcePanelApplet ? false +, xfce +, gtk3 }: stdenv.mkDerivation rec { @@ -35,6 +38,16 @@ stdenv.mkDerivation rec { xorg.libXinerama xorg.libXrandr python3Packages.python + ] ++ stdenv.lib.optionals enableXfcePanelApplet [ + gtk3 + xfce.libxfce4util + xfce.xfce4-panel + ]; + + configureFlags = [ + ] + ++ stdenv.lib.optionals enableXfcePanelApplet [ + "--with-xfce4-panel-applet" ]; postFixup = ''