Fix dot height in default mode

[sergio-costas]

Fix #2160

[sergio-costas]

@vanvugt Fixed the dot height in Gnome 46, and confirmed that it doesn't break in Gnome 45.

[vanvugt]

Thanks. Testing it I see the dot is still too close to the icon. And reverting to scale 100% doesn't totally fix that.

Can you check to see how upstream does their spacing?

[vanvugt]

Maybe fixing #2173 would change things? Or maybe it's not related.

[sergio-costas]

I see the dot exactly in the same place than in gnome 45...

Gnome45:

Gnome46:

[sergio-costas]

But, of course, I don't use scaling... At which scale are you using your desktop? How can I take into account scaling in CSS?

[3v1n0]

How can I take into account scaling in CSS?

Css should handle it automatically.

You can simulate scaling in a nested GNOME shell easily though. Launches it with something like MUTTER_DEBUG_DUMMY_MONITOR_SCALES=1 and MUTTER_DEBUG_DUMMY_MODE_SPECS="1920x1080:3840x2160:4096x2160:7680x4320:3840x2400:3200x1800:2650x1440:1024x768:800x600:1440x900:1680x1050:1680x1012"

[vanvugt]

I see the dot exactly in the same place than in gnome 45...

Gnome45:

Gnome46:

That's not a good example because they are different icons (one's not square). Also the dot is touching the bottom in the second screenshot, but not the first. But all this may be off-topic so I'll take new screenshots...

[vanvugt]

OK my main concern is only visible at 200% today:

gnome-shell	#2168