Dock autohide not working as expected

[desplom]

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!

video.mp4

[domferr]

Hey thank you for sharing this. Long story short, tiling to half the screen with the default GNOME experience also maximizes the window to the half of the screen. While Tiling Shell, instead, does not maximize when you tile to the half of the screen. The auto hide behaves differently if you click on a maximized window.

I might be able to implement the same default GNOME behaviour, but I am not sure tbh. Let's see!