Package: gnome-shell-extension-dash-to-panel
Version: 31-1ubuntu20.04.1
Architecture: all
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Installed-Size: 1415
Depends: dconf-gsettings-backend | gsettings-backend, gnome-shell (>= 3.18)
Section: gnome
Priority: optional
Homepage: https://github.com/jderose9/dash-to-panel
Description: combines the dash and the GNOME main panel into a single panel
 Moves the dash into the GNOME main panel so that the application launchers
 and system tray are combined into a single panel, similar to that found
 in KDE Plasma and Windows 7+.
 .
 A separate dock is no longer needed for easy access to running and
 favorited applications.
Original-Maintainer: Jonathan Carter <jcc@debian.org>
