Dock!ng 1.0 released
Dock!ng 1.0 released
extensions.gnome.org
Dock!ng - GNOME Shell Extensions
A lightweight non-fixed dock support for gnome-shell using native dash with a simple but adaptive intellihide.
Dock!ng 1.0 released
Dock!ng - GNOME Shell Extensions
A lightweight non-fixed dock support for gnome-shell using native dash with a simple but adaptive intellihide.