GNOME Shell Extensions 3.21.3

2016-06-21 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.21.3

2016-06-21 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

Polari 3.21.3

2016-06-21 Thread Florian Müllner
About Polari Polari is a simple IRC Client that is designed to integrate seamlessly with GNOME 3 News * Add shortcuts to jump to top/bottom of the chat log [Danny; #755549] * Track users to fix wrong online status in chat log [Rares; #763868] Contributors: Anders Jonsson,

Mutter 3.21.3

2016-06-21 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 Photos 3.20.2 released

2016-06-21 Thread Debarshi Ray
A simple application to access, organize and share your photos on GNOME. It is meant to be a simple and elegant replacement for using a file manager to deal with photos. Seamless cloud integration is offered through GNOME Online Accounts. Overview of changes in 3.20.2