summaryrefslogtreecommitdiffstats
path: root/debian/control
blob: 26f11f35c82391bcdd503d93dbb8047a3177876c (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
Source: gnome-shell-extension-disable-workspace-switcher-popup
Section: restricted/gnome
Priority: optional
Maintainer: Progress Linux Maintainers <maintainers@lists.progress-linux.org>
XSBC-Uploaders: Daniel Baumann <daniel.baumann@progress-linux.org>,
Bugs: mailto:bugs@lists.progress-linux.org
Build-Depends:
 debhelper-compat (= 13),
Standards-Version: 4.5.1
Homepage: https://github.com/windsorschmidt/disable-workspace-switcher-popup
Vcs-Browser: https://git.progress-linux.org/packages/fuchur-extras/gnome-shell-extension-disable-workspace-switcher-popup
Vcs-Git: https://git.progress-linux.org/packages/fuchur-extras/gnome-shell-extension-disable-workspace-switcher-popup

Package: gnome-shell-extension-disable-workspace-switcher-popup
Section: restricted/gnome
Architecture: all
Depends:
 gnome-shell,
 ${misc:Depends},
Recommends:
 gnome-tweaks,
Enhances:
 gnome-shell,
Description: Disable Workspace Switcher Popup (GNOME Shell)
 The GNOME Shell provides core interface functions like switching
 windows, launching applications or see your notifications. It takes
 advantage of the capabilities of modern graphics hardware and
 introduces innovative user interface concepts to provide a
 delightful and easy to use experience. GNOME Shell is the defining
 technology of the GNOME 3 user experience.
 .
 This extension disables the arrow displayed during workspace switching.