Show top bar on hover?

[indigoviolet]

If the top bar is hidden (which is a great feature, thank you!), would it be possible to unhide it on hover at that edge?

[hedning]

Yeah, I've been meaning to make eg. the hot-corner trigger the top bar. My use case would mostly be with fullscreen windows, which should be pretty straight forward.

The general case might be a bit trickier as the top bar shrinks the workArea (see eg. https://github.com/paperwm/PaperWM/issues/220). So when eg. using a maximized window in a workspace without a top bar we might need to disable affectsStructs to avoid the top bar resizing the maximized window (see https://github.com/paperwm/PaperWM/commit/20809ad6b0e7f764fcfbde2f13ec274f457e22d5 and https://github.com/paperwm/PaperWM/commit/e1f6a980ef16dbc1f28f442de5c1c9efca3fb424 for more information on why this might be trouble).

But yeah, it would be a nice feature, allowing eg. mouse navigation to other workspaces from fullscreen windows or a no-top-bar workspace. We'd hopefully be able to add the hide top bar toggle back to the worspace menu too, assuming the hover/hot-corner is discoverable for users.

[jsravn]

This would be great. I was using the hide top bar extension but it doesn't play well with PaperWM.