A lot of changes have made their way into the new version

Feb 9, 2012 15:47 GMT  ·  By

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.