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.82k stars 463 forks source link

too big gap between dock and workspace #2204

Closed stigman9393 closed 4 weeks ago

stigman9393 commented 2 months ago

hello, i cant see any option to decrease gap on overview. for now its too big if i can compare it to default gnome dock. how to addjust?

Zrzut ekranu z 2024-04-20 22-46-19 default

Zrzut ekranu z 2024-04-20 22-43-21 dash to dock

vanvugt commented 2 months ago

Do you mean dash-to-dock is too small now, or did the gap and the workspace shrink instead?

pchmykh commented 2 months ago

Nope, I have the same. Whole activity overview desktop size is different with dash-to-dock enabled, attaching two whole desktop screenshots, one with dash-to-dock enabled and other disabled. It is not about size of the dock, it is about whole desktop overview size. Also, dash-to-dock dock is placed slightly differently unlike default dash, less gap between dash and bottom of the screen. So I think bug report should be renamed to something like 'desktop overview size in activity menu differs with default one with dash-to-dock extension enabled' Screenshot from 2024-04-23 22-37-20 Screenshot from 2024-04-23 22-37-04

3v1n0 commented 2 months ago

So, IIRC the reason why this space has been added was to make the application labels to be visible (and centered) when hovering a window.

I see that it's different in default dash, but complexity of options that we have lead to have a different behavior of the windows.

stigman9393 commented 2 months ago

So, IIRC the reason why this space has been added was to make the application labels to be visible (and centered) when hovering a window.

I see that it's different in default dash, but complexity of options that we have lead to have a different behavior of the windows.

but can i change it ? which line of css is to change this property?

pchmykh commented 2 months ago

I think default size looks more clean also.

stigman9393 commented 2 months ago

So, IIRC the reason why this space has been added was to make the application labels to be visible (and centered) when hovering a window.

I see that it's different in default dash, but complexity of options that we have lead to have a different behavior of the windows.

but can i change it ? which line of css is to change this property?

I think default size looks more clean also.

yes, me too. dash to dock gap looks little bit weird if all elements have a different gap like for example search bar have rly small gap and dash to dock completly different like 50px

vanvugt commented 4 weeks ago

Duplicate of #1815