Workspaces to Dock - GNOME Shell Extensions
vendredi 20 septembre 2013 à 14:24 Slobberbone, le 20/09/2013 à 14:24
A Gnome Shell extension that transforms the workspaces of the overview mode into an intellihide dock. The dock is positioned and sized to maintain tight integration with the Gnome Shell. The latest release includes an option to require mouse pressure to activate and show the dock (GS 3.8+ only), the ability to customize the thumbnail size, the ability to toggle the dock using a keyboard shortcut, and RTL support. Please see the Github homepage for details on installation, settings, known issues, and version features. A backport is also available on Github for Gnome Shell 3.2 users (v6 only).
(Permalink)
A Gnome Shell extension that transforms the workspaces of the overview mode into an intellihide dock. The dock is positioned and sized to maintain tight integration with the Gnome Shell. The latest release includes an option to require mouse pressure to activate and show the dock (GS 3.8+ only), the ability to customize the thumbnail size, the ability to toggle the dock using a keyboard shortcut, and RTL support. Please see the Github homepage for details on installation, settings, known issues, and version features. A backport is also available on Github for Gnome Shell 3.2 users (v6 only).
(Permalink)