1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
Source: gnome-shell-extension-dash-to-panel
Section: gnome
Priority: optional
Maintainer: Debian GNOME Maintainers <pkg-gnome-maintainers@lists.alioth.debian.org>
Uploaders: Jonathan Carter <jcc@debian.org>
Build-Depends: debhelper-compat (= 13), libglib2.0-bin, python3
Standards-Version: 4.7.2
Homepage: https://github.com/jderose9/dash-to-panel
Vcs-Git: https://salsa.debian.org/gnome-team/shell-extensions/gnome-shell-extension-dash-to-panel.git
Vcs-Browser: https://salsa.debian.org/gnome-team/shell-extensions/gnome-shell-extension-dash-to-panel
Package: gnome-shell-extension-dash-to-panel
Architecture: all
Depends: ${misc:Depends},
gnome-shell (>= ${gnome:MinimumVersion}~),
gnome-shell (<< ${gnome:MaximumVersion}~),
Recommends: gnome-shell-extension-prefs | gnome-shell-extension-manager
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.
|
