path: root/debian/control
diff options
Diffstat (limited to 'debian/control')
1 files changed, 32 insertions, 0 deletions
diff --git a/debian/control b/debian/control
new file mode 100644
index 0000000..26f11f3
--- /dev/null
+++ b/debian/control
@@ -0,0 +1,32 @@
+Source: gnome-shell-extension-disable-workspace-switcher-popup
+Section: restricted/gnome
+Priority: optional
+Maintainer: Progress Linux Maintainers <>
+XSBC-Uploaders: Daniel Baumann <>,
+ debhelper-compat (= 13),
+Standards-Version: 4.5.1
+Package: gnome-shell-extension-disable-workspace-switcher-popup
+Section: restricted/gnome
+Architecture: all
+ gnome-shell,
+ ${misc:Depends},
+ gnome-tweaks,
+ 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.