togglehidepanel

[Andreas Reuleaux]

Hi

I have used herbstluft for a while now (with a floating layout mostly),
and have been able to do little adjustments to my liking to the
otherwise fairly standard default config that comes with it.

I saw that there is a togglehidepanel defined in panel.sh, and thought
that I can just use that with

  hc keybind $Mod-d togglehidepanel

in my autostart, but apparently it does not work that way:
the panel at the top stays as it is when I hit Mod-d

Maybe that togglehidepanel is supposed to be used differently?

It's not terribly important for me, but I'd feel more confident
with herbstluft, if I was able to do these kind of configurations.

Any advice?

Thanks,
  Andreas