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.4.1.
GNOME Shell 3.7.4.1 has been released just a couple of days after the previous version, in the branch that will eventually become GNOME Shell 3.8 and it does pack quite a lot of new features.
Highlights of GNOME Shell 3.7.4.1:
• The application now uses show-full-name-in-top-bar setting;
&bul… (read more)