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.
It's technically customizable, but it requires changing the .css that is applied to the item... We could add a setting for it, but it's not something under our radar at the moment.
Hi,
I love the extension :smile: . Works great and has nice options.
However I have a low priority enhancement request:
Justification: I feel that, during high demanding times, it should be just something informative, rather than demand attention.
Regards, Alex