Bug#829185: ITP: gnome-shell-extension-dashtodock -- dash-to-dock extension for GNOME shell

[Jonathan Carter <jonathan@ubuntu.com>]

Package: wnpp
Severity: wishlist
Owner: Jonathan Carter <jcarter@linux.com>

* Package name    : gnome-shell-extension-dashtodock
  Version         : 53
  Upstream Author : Michele <micxgx@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.