GNOME Shell, a user interface that provides functions for the GNOME desktop environment, has just received a new update and it's now at version 3.9.1.
The GNOME development is running smoothly and more features are added with each new version.
Highlights of GNOME Shell 3.9.1:
• Additional toggle-overview keybinding has been added; • The <super> shortcut is now disabled when the sticky keys are enabled; • The tray context menu has been disabled when a notification is displayed; • Style transitions have been disabled if the animations are disabled; • Hidden applications are now filtered out from the "Frequent" view; • Support for serialized GIcons has been added in remote search.
A changelog featuring a complete list of updates and improvements can be found in the official announcement. Download GNOME Shell 3.9.1 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.