AmbienteGrafico/Gnome/AvantWindowNavigator (l'ultima modifica รจ del 24/03/2016 12.34.08, fatta da vipri-alessandro)