Ancora un post sugli shortcut… se continuo così ci creo una categoria ad hoc sul blog :D Questa volta però si parla di GNOME!