Solo io ho notato questo problema?
Qualcuno ha trovato una soluzione o un workaround?
Io avevo un problema un po' diverso.
Con gedit (e altre applicazioni gnome) mi capitava che facendo lo scrolling (sul portatile sto usando solo il touchpad) la pagina saltasse di molte righe facendomi perdere il riferimento del punto in cui si trova il cursore. Era molto fastidioso ma poi mi sono adattato con la tastiera.