C'è un comportamento di gnome che proprio non riesco a digerire. In sostanza dopo aggiornamento a gnome 3.6 non funziona più il tab switching con la rondella del mouse. Siccome è una cosa alla quale mi sono ormai abituato da tempo (in firefox avevo installato apposita estensione), avevo aperto anche un bug, prima in gentoo poi in gnome, salvo scoprire che la cosa era già stata segnalata e che si tratta di una feature...
Non che mi sia arreso, ma qual'è il modo più semplice e veloce per applicare delle modifiche (es. queste) ad ogni ricompilazione/aggiornamento delle gtk+?

