Devuan "upgraded" xfce and now when panels hide there's multiple pixels left over. Is there an easy way to fix this bug? If not, what was the last version before it broke so I can downgrade and lock the package? Rob