"Shrink the dash" toggle shrinks menu

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

"Shrink the dash" toggle shrinks menu #2141

Closed berezki closed 6 months ago

berezki commented 6 months ago

I think there is a bug when enabling dash shrinking Gnome menu shrinks as well. Have this on my PC but on laptop everything seems to work fine. It makes icons in menu smaller and apps grid becomes 6x3 instead of 8x3.

Shrink the dash disabled:

Screenshot from 2024-01-06 22-31-42

Shrink the dash enabled:

Screenshot from 2024-01-06 22-31-21

vanvugt commented 6 months ago

Inconsistent and unpredictable app grid sizing is a known issue (issues?) with gnome-shell. It is affected by the size of the things surrounding the app grid, so shrinking the dash will be a factor.

Tracking in https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/2173