KDE Panel auto-hide broken
At first auto-hiding seems to work fine.
Then after a longer while one of two things happens:
a) the panel stops auto-hiding and will cover the windows permanently. unchecking and rechecking 'auto-hide' will not help.
b) the panel stops reacting to the mouse and _stays_ hidden all the time. only help here is to change the desktops and have 'show panel when switching desktops' enabled, and then make sure that the mouse is over the panel when it shows for a split second, to keep it from disappearing again.
Quite a silly bug, easy to fix? Please help me out.