Workspace Navigator è un GNOME & nbsp; estensione shell basata su windowNavigator, consentendo agli utenti di navigare spazi di lavoro con la tastiera, in modalità di sovrapposizione.Per installare questa estensione è necessario avere installato GNOME...