New panel plugin : unhidepanel

Mike Massonnet mmassonnet at
Sun May 5 18:17:15 CEST 2013

Hi Liviu,

2013/5/5 Liviu Andronic <landronimirc at>:
> On Sun, May 5, 2013 at 5:57 PM, Mike Massonnet <mmassonnet at> wrote:
>> The plugin does only one thing, it lets you set the autohide property
>> of the panel, which means for a autohide panel user (who might wish to
>> keep the panel visible sometimes) that you don't have to rush into the
>> preferences dialog of the panels. (Btw, there is a "nice" bug to do
> Thanks. I would find it useful for the opposite: Quickly set autohide
> for panel that is always visible, but one that I wish to hide
> sometimes.

It's a toggle button so you can do the opposite. The toggle button is
however always visible... Maybe the panel context menu should expose
more settings?

> Liviu


More information about the Xfce4-dev mailing list