GNOME Shell 3.3.5 Available for Download

GNOME Shell, a user interface which provides functions for the GNOME 3 desktop environment, has just received a new update and it's now at version 3.3.5.

As usual, versions from development branch of GNOME Shell come packed with a lot of updates and feature, and GNOME Shell 3.3.5 is now exception. Here are some highlights of the new version:

· a 'gnome-shell-extension-prefs' application for displaying extension preferences as provided by the extension in a prefs.js file was added;
· launching gnome-shell-extension-prefs from extensions.gnome.org through the browser plugin is now available;
· an ExtensionUtils.getCurrentExtension() for an extension to get a handle to an extension object, to get local imports or paths, was added;
· screenshot rounded decorations now work correctly
· various problems from CSS background size-addition were fixed
· the default pipeline to favor speed over quality was changed.

The GNOME Shell package provides basic UI (User Interface) functions for the GNOME 3 desktop environment, such as launching applications and switching to windows. The complete changelog can be found here.

Download GNOME Shell 3.3.5 right now from Softpedia.