The number of changes for this development version is impressive
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.