AmbienteGrafico/Gnome/ScorciatoieTastiera (l'ultima modifica รจ del 18/05/2016 11.24.39, fatta da vipri-alessandro)