Nimi Places mentions (0)

Dash to Dock mentions (4)

• Why do none of the major distros have KDE Plasma as default?

  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: almost 2 years ago

• Is there any way to change the shape of the highlight of the icons in the dock in Ubuntu? (visible on the right icon, activated when hovered over)

  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: almost 3 years ago

• In love with this.

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

• How do I reduce the icon size of this sidebar in gnome?

  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