gnome-games 3.33.4

2019-07-20 Thread Alexander Mikhaylenko
About Games === Games is a GNOME 3 application to browse your video games library and to easily pick and play a game from it. News * Center headerbar title in adaptive mode. * Explicitly specify 'm' dependency. * Translation updates Brazilian Portuguese Croatian Indonesian Spa

mutter 3.33.4

2019-07-20 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.33.4

2019-07-20 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 pro

gnome-shell-extensions 3.33.4

2019-07-20 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. New