Ecco un semplice trucco per eliminare il ritardo con cui vengono mostrati i menu di gnome, accelerandone quindi la navigazione.
Basta creare (o editare se gia’ presente) il file .gtkrc-2.0 all’interno della home e inserire questa riga:

gtk-menu-popup-delay = 0

In alternativa basta aprire una shell e digitare:

echo "gtk-menu-popup-delay = 0" >> ~/.gtkrc-2.0

Fonte: LifeHacker


Tag: .


Oppure leggi altri nostri articoli:


Scrivi un commento