New panel plugin : unhidepanel

[Mike Massonnet]

Hi Liviu,

2013/5/5 Liviu Andronic <landronimirc at gmail.com>:
> On Sun, May 5, 2013 at 5:57 PM, Mike Massonnet <mmassonnet at xfce.org> 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
>

Mike