gnome-shell-extension-dashtodock

Created by Mantas Kriaučiūnas on 2016-11-04 and last modified on 2017-04-29

Description

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.

Recipe information

Build schedule: (?)
Built daily
Owner:
Gnome-Shell-Extensions developers
Base source:
lp:~gnome-shell-extensions/gnome-shell-extensions/dash-to-dock-head
Debian version:
{debupstream}-1+{revno}
Daily build archive:
gnome-shell-extensions
Distribution series: