Hello, skribis: > Attached is a patch that adds the Whiskermenu panel plugin for Xfce: https://goodies.xfce.org/projects/panel-plugins/xfce4-whiskermenu-plugin > > I originally had GTK+ added as an input, and the configure phase searches for it, but since it builds fine without GTK+ I've removed it. If Garcon is removed then it errors on not finding GTK+, but I don't know, if it works then *shrug*. What happens is that GTK+ gets propagated via Garcon, which is why it works even if you don’t add it as an input. However, since this package clearly has a direct dependency on GTK+, we should add it to ‘inputs’. > From e7a99c0c1fea1549b08cd2e4a1c540a3a0091675 Mon Sep 17 00:00:00 2001 > From: Pkill -9 > Date: Sat, 23 Mar 2019 11:49:52 +0000 > Subject: [PATCH] gnu: Add xfce4-whiskermenu-plugin. > > * gnu/packages/xfce.scm (xfce4-whiskermenu-plugin): New variable. Applied with the changes below. Thank you! Ludo’.