Package: wnpp Severity: wishlist Owner: Jonathan Carter <jcar...@linux.com>
* Package name : gnome-shell-extension-dashtodock Version : 53 Upstream Author : Michele <mic...@gmail.com> * URL : https://micheleg.github.io/dash-to-dock/ * License : GPL-2+ Programming Lang: JavaScript Description : dash-to-dock extension for GNOME shell Dash to dock extension is an enhanced dash for GNOME Shell. It moves the default dash out of the overview and transforms it in a dock for an easier launching of applications and a faster switching between windows and workspaces without leaving the desktop view improving the workflow in your system. . It supports autohide and intellihide modes as well as a fixed mode. Optional features are available in the extension settings. The extension is themes friendly.
