Gli sviluppatori di Gnome Shell hanno pensato di voler cambiare la gestione della personalizzazione dell’ambiente desktop rimuovendo gli applet e offrendo la possibili di aggiungere nuove funzionalità attraverso le estensioni dedicate. Inoltre possiamo migliorare l’ambiente desktop integrando alcuni tools i quali permettono di aggiungere nuovi effetti o funzionalità al nostro ambiente desktop come ad esempio mousewhell zoom.
Mouse Wheel Zoom è un’interessante script in python che aggiunge la possibilità di zummare una parte del nostro ambiente desktop.
Utile ad esempio per registrare video tutorial oppure per altri motivi mouse whell zoom ci permette di zummare con molta facilità semplicemente cliccando sul tasto Alt e poi agire con la rotella del mouse per ingrandire o rimpicciolire la parte interessata.
Per installare Mouse Wheel Zoom su Ubuntu 12.04:
sudo add-apt-repository ppa:tobias-quinn/gsmz
sudo apt-get update
sudo apt-get install gnome-shell-mousewheel-zoom
e conferiamo.
Al termine dell’installazione basta terminare la sessione oppure riavviare Gnome Shell digitando su Alt+F2 e poi r
Ecco un video su Mouse Wheel Zoom in Gnome Shell:
