Bug#1033863: gnome-shell-extention-dashtodock flickers

[alexander.giersz at tutanota.com]

Package: gnome-shell-extension-dashtodock
Version: 75-1

Dash to Dock's “Intelligent autohide” feature does not work when the top bar is hidden, either via “gnome-shell-extension-autohidetopbar” or via https://extensions.gnome.org/extension/3843/just-perfection/. 

Steps to reproduce:

1. Install and enable “gnome-shell-extension-dashtodock” and “gnome-shell-extension-autohidetopbar”.
2. Maximize Firefox.
3. Unhide the dock.

The dock flickers then.

I am using Debian GNU/Linux 12 (bookworm) and kernel 6.1.0-7-amd64.