Dash to Dock VS 7+ Taskbar Tweaker

My guess would be not many... I know for a fact that at least in my workplace, where most/all dev boxes are running some form of Ubuntu LTS, most of my colleagues who run GNOME are either running Ubuntu's standard desktop (which features a custom version of the Dash to Dock extension) or customize it with the Dash to Panel extension, both of which (but specially the latter) completely ditch GNOME's "intended"... Source: over 1 year ago

It depends on what dock you are using and the shell theme. On Ubuntu vanilla they use gnome-shell-extension-ubuntu-dock which is a fork of dash-to-dock. Almost all the available docks for GNOME were forked from dash-to-dock, which looks like the one you're using. Source: over 2 years ago

You can get it from the git - https://micheleg.github.io/dash-to-dock/. Source: about 3 years ago

When you install the Dash to Dock extension (https://micheleg.github.io/dash-to-dock/) you can adjust it in the extensions settings. Source: about 3 years ago

Used this extensively before switching to linux/kde/plasma. Also look at - Notepad3 - HeidiSQL - https://ramensoftware.com/7-taskbar-tweaker - https://goffconcepts.com/products/filesearchex/. - Source: Hacker News / 27 days ago

I think 7+ Taskbar Tweaker can change the general icon spacing on the taskbar. But I’m not sure if it affects the tray icons as well. Source: about 1 year ago

Download 7+ Taskbar Tweaker. Don't forget to set it to run on startup when installing. Source: about 1 year ago

7+ Taskbar Tweaker is a tool for configuring various aspects of the Windows taskbar, including many that can’t be adjusted through the taskbar properties or the registry. For Windows 7, 8 and 10. Kindly recommended by DisturbedUnit. Source: over 1 year ago

I don't think it's achievable natively however a third-party app may be able to help you: https://ramensoftware.com/7-taskbar-tweaker. Source: over 1 year ago