Package: wnpp Severity: wishlist Owner: Dan Bungert <[email protected]> X-Debbugs-Cc: [email protected], [email protected]
* Package name : gnome-shell-extension-pop-shell Version : 1.2.0 Upstream Author : System76 <[email protected]> * 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.
