[ol9_developer_EPEL] gnome-shell-extension-pop-shell-1.2.0^12.8e176f1-1.el9.noarch

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 - a feature that has been
highly-sought within our community.  For many - ourselves included - i3wm has
become the leading competitor to the GNOME desktop.

Filelist (Show Changelog) (Show related packages)

• /

  • usr

    • share

      • doc

        • gnome-shell-extension-pop-shell

          • README.md

      • glib-2.0

        • schemas

          • org.gnome.shell.extensions.pop-shell.gschema.xml

      • gnome-control-center

        • keybindings

          • 10-pop-shell-move.xml

          • 10-pop-shell-navigate.xml

          • 10-pop-shell-tile.xml

      • gnome-shell

        • extensions

          • pop-shell@system76.com

            • arena.js

            • auto_tiler.js

            • color_dialog

              • main.js

            • config.js

            • context.js

            • dark.css

            • dbus_service.js

            • dialog_add_exception.js

            • ecs.js

            • error.js

            • events.js

            • executor.js

            • extension.js

            • floating_exceptions

              • config.js

              • main.js

              • utils.js

            • focus.js

            • forest.js

            • fork.js

            • geom.js

            • grab_op.js

            • highcontrast.css

            • icons

              • pop-shell-auto-off-symbolic.svg

              • pop-shell-auto-on-symbolic.svg

            • keybindings.js

            • launcher.js

            • launcher_service.js

            • lib.js

            • light.css

            • log.js

            • metadata.json

            • movement.js

            • node.js

            • once_cell.js

            • panel_settings.js

            • prefs.js

            • rectangle.js

            • result.js

            • scheduler.js

            • search.js

            • settings.js

            • shell.js

            • shortcut_overlay.js

            • stack.js

            • tags.js

            • tiling.js

            • utils.js

            • window.js

            • xprop.js

      • licenses

        • gnome-shell-extension-pop-shell

          • LICENSE