deb_control_files:
- control
- md5sums
deb_fields:
Architecture: all
Breaks: gnome-shell-extensions (<< 47)
Depends: gnome-shell (<< 48~), gnome-shell (>= 47~), gnome-shell-extensions-common
(= 47.0-3)
Description: |-
GNOME Shell extension to allow keyboard selection in overlay mode
GNOME Shell is extensible using extensions. This package contains an
official GNOME Shell extension to allow keyboard selections of windows
and workspaces in overlay mode. Ctrl+number selects a workspace and
Alt+number selects a window.
Homepage: https://wiki.gnome.org/Projects/GnomeShell/Extensions
Installed-Size: '34'
Maintainer: Debian GNOME Maintainers <pkg-gnome-maintainers@lists.alioth.debian.org>
Package: gnome-shell-extension-windows-navigator
Priority: optional
Recommends: gnome-shell-extension-prefs | gnome-shell-extension-manager
Replaces: gnome-shell-extensions (<< 47)
Section: gnome
Source: gnome-shell-extensions
Version: 47.0-3
srcpkg_name: gnome-shell-extensions
srcpkg_version: 47.0-3