GNOME Shell, a user interface that provides functions for the GNOME 3 desktop environment, has just received a new update and it's now at version 3.7.2.
GNOME Shell 3.7.2 is the second development version in the branch that will eventually become GNOME Shell 3.8 and it does pack quite a lot of new features.
Unlike the stable version which only implements a few changes at a time, the development version integrates a large number of updates, but some of them might not make it to the stable branch.
Highlights of GNOME Shell 3.7.2:
• Enforce RTL for messages that might end up as LTR has been implemented;
• The gdm logo has been moved into the panel;
• Notifications are now hidden when the close button is clicked;
• Fittability of summary items in message tray has been restored in this version;
• The window captions are now resized when the content is changing;
• The match style of other modal dialogs has been drastically improved;
• The button insensitive style has been improved;
• A global switch for all VPN connections is no longer used;
• The 'Log out' button is now shown in a lot more situations;
• A setting to force the 'Log out' menuitem has been added;
• The 'disable-user-list' option is now available in the login screen;
• The auto-scroll to the bottom, in chat notifications, has been repaired;
• Feedback notifications, when user is busy, are now shown;
• A non-linear overview shade is now used for the background;
• Remote search provider settings is now supported;
• A keybinding option to focus current notification has been added;
• Metacity's keybinding files are no longer used.
A complete changelog can be found in the official announcement.
Download GNOME Shell 3.7.2 right now from Softpedia. Remember that this is a development version and it should NOT be installed on production machines. It is intended for testing purposes only.