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