Mutter 3.36.3

2020-06-03 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

Polari 3.37.2

2020-06-03 Thread Florian Müllner
About Polari Polari is a simple IRC Client that is designed to integrate seamlessly with GNOME 3 News * Improve performance while idle [Philip; !157] * Misc. bug fixes and cleanups [Florian; #144] Contributors: Yuri Chornoivan, Florian Müllner, Philip Withnall Translators:

Polari 3.36.3

2020-06-03 Thread Florian Müllner
About Polari Polari is a simple IRC Client that is designed to integrate seamlessly with GNOME 3 News * Misc. bug fixes and cleanups [Florian; !156] * Improve performance while idle [Philip; !157] Contributors: Yuri Chornoivan, Florian Müllner, Philip Withnall Download

GNOME Shell Extensions 3.37.2

2020-06-03 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.

GNOME Shell 3.37.2

2020-06-03 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 3.36.3

2020-06-03 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

Mutter 3.37.2

2020-06-03 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