Auto hide dock is buggy when we hover it

micheleg / dash-to-dock

A dock for the Gnome Shell. This extension moves the dash out of the overview transforming it in a dock for an easier launching of applications and a faster switching between windows and desktops.

https://micheleg.github.io/dash-to-dock/

GNU General Public License v2.0

3.87k stars 460 forks source link

Auto hide dock is buggy when we hover it #2186

Closed YoAlejoDev closed 6 months ago

YoAlejoDev commented 6 months ago

The bug is when we hover the dock in full screen, it shows and hide, the funny thing is that it let me use it normally, but is awfull see it.

I'll try to fix it

vanvugt commented 6 months ago

Duplicate of #1381