Dash to Dock 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 workspaces. 20 # GNOME# gnome-extension# gnome-shell
Pano Clipboard Manager Next-gen Clipboard Manager for Gnome Shell. 20 Clipboard Manager# Clipboard History# GNOME# gnome-extension
