FWIW autohide was completely rewritten for the 0.4 release, we expect testing packages to be available in a couple of weeks, then you can all test whether the issue is fixed.
FWIW autohide was completely rewritten for the 0.4 release, we expect testing packages to be available in a couple of weeks, then you can all test whether the issue is fixed.