search

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 461 forks source link

Window picker/Activities Overview wrong margin #2108

Closed alfonsocv12 closed 11 months ago

alfonsocv12 commented 11 months ago

Hello I have been trying to fix this problem with no luck I have tested dash to dock for a long time, and believe that the latest version is great for my use case.

the only last issue that I have is the margin when activities overview is activated.

This is without dash-to-dock

Screenshot from 2023-10-18 14-52-08

And this is with it

Screenshot from 2023-10-18 14-49-44

I customize the css with padding: 5px; to get closer to the OG dock

vanvugt commented 11 months ago

Can you clarify whether the second screenshot is with your custom CSS or without? Also can you circle or highlight what the bug is?

alfonsocv12 commented 11 months ago

Is with it. But is fixed now, I logout and login and everything aligned properly with the 5px padding-buttom (my bad sorry)