About GNOME Shell
=
GNOME Shell provides core user interface functions for the GNOME 3
desktop, like switching to windows and launching applications. GNOME
Shell takes advantage of the capabilities of modern graphics hardware
and introduces innovative user interface concepts to
About gnome-shell-extensions
GNOME Shell Extensions is a collection of extensions providing
additional and optional functionality to GNOME Shell. Most extensions
can be installed by configuring --prefix=$HOME/.local, and will be
picked automatically at next login.
About mutter
Mutter is a window and compositing manager that displays and manages
your desktop via OpenGL. Mutter combines a sophisticated display
engine using the Clutter toolkit with solid window-management logic
inherited from the Metacity window manager.
While Mutter can be used
On Thu, Sep 5, 2019 at 8:21 AM Pellegrino Prevete via gnome-shell-list
wrote:
> Obviously I can't upload a zip having the same UUID as another person's
> extension, so I guess I have to claim ownership first.
Done.
___
gnome-shell-list mailing list
Hi everyone,
I recently received an ok from Deadalnix (deadal...@gmail.com) to
maintain "pixel saver"
(https://extensions.gnome.org/extension/723/pixel-saver/) in his
place because he does not have the time to do it anymore.
I just merged support for GNOME 3.32 and I would like to upgrade the