Mutter 3.31.91

2019-02-22 Thread Florian Müllner
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

GNOME Shell 3.31.91

2019-02-22 Thread Florian Müllner
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

GNOME Shell Extensions 3.31.91

2019-02-22 Thread Florian Müllner
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.