Dock autohide not working as expected

Hi everyone, a big thank you to the developers for allowing cool customizations on Linux and making it adaptable to people's needs. It's truly amazing!

I'm testing my future setup with Debian 13, and I've noticed that when I activate the Tiling Shell extension, the dock only hides when the focus is on the window that is directly in contact. When the focus shifts to another window, the dock reappears.

If I disable the extension and position the windows occupying half of the screen vertically with the default tiling of GNOME (Super + left/right arrow), the dock remains hidden even if the focus is not on the nearby window.

Is this expected behavior? Am I missing any configuration options? Personally, I like that it hides to optimize screen space.

Thank you again, and best regards!

https://github.com/user-attachments/assets/a2e33fb6-34b0-4c50-9501-ce8dbec7166c