Ya estoy aquí otra vez. Ya he solucionado lo del ratón y la rueda. Por si a alguien le interesa es con la extensión All-in-one gestures. por lo que he leido por ahí, lo del fichero ese y el user.js ¿los tengo que crear yo, no? el caso es que no se donde, si alguien me lo puede decir...
Otra cosa que he visto es que cuando cambias el tema, en Herramientas-> Preferencias, los links que hay para descargasr nuevos temas, extensiones y demás, ya no se nota que son links, sino que aparecen como texto normal, en el mismo color y sin subrayar. (eso sí, si pinchas sobre ellos siguen funcionando). ¿Esto tiene arreglo?
Un saludo.