Package: wnpp Severity: wishlist Owner: Dan Bungert <danielbung...@gmail.com> X-Debbugs-Cc: debian-de...@lists.debian.org, danielbung...@gmail.com
* Package name : gnome-shell-extension-pop-shell Version : 1.2.0 Upstream Author : System76 <mich...@system76.com> * URL : https://github.com/pop-os/shell * License : GPLv3 Programming Lang: JavaScript, Rust Description : keyboard-driven layer for GNOME with tiling window management Pop Shell is a keyboard-driven layer for GNOME Shell which allows for quick and sensible navigation and management of windows. The core feature of Pop Shell is the addition of advanced tiling window management.
