slow animation in autohide topbar extension

[Marcel <lists nightsoul org>]

Moin!

I just installed the 'autohide topbar extension'. After appreciating
that it restores the original height of windows after hiding the panel,
I wondered why the show/hide animation is so laggy. That can't really
come from dynamically resizing windows, but what else is it? Technical
(i.e. shell-internal) reasons or just suboptimal programming? Or is it
just me(R)?

Marcel