improvement : add option to disable panel hide animation
don't take this wrong : the new hide animation works great. But it's all a matter of personal tastes : I've been disabling all possible animations for more than 20 years now :) (whatever the OS or DE I've been using).
I'm using panel 4.16.0
I found out this trick on reddit
xfconf-query -n -c xfce4-panel -p /panels/panel-2/popdown-speed -t int -s 0
it works, so I'm happy now. Nevertheless, a tickbox in the panel options would probably not hurt.
thank you anyway for the great work !