The Dock sometimes gets stuck and doesn't automatically hide after the cursor is moved away from it.
This tends to happen only when there is an opened app right behind the dock.
The dock doesn't seem to get stuck if the desktop is clear with no opened apps on the screen.
The dock doesn't seem to get stuck if a windowed app is on the screen but not right behind it.
Thanks for this awesome lightweight extension, your work is much appreciated! :)
The Dock sometimes gets stuck and doesn't automatically hide after the cursor is moved away from it. This tends to happen only when there is an opened app right behind the dock. The dock doesn't seem to get stuck if the desktop is clear with no opened apps on the screen. The dock doesn't seem to get stuck if a windowed app is on the screen but not right behind it.
Thanks for this awesome lightweight extension, your work is much appreciated! :)