He puesto unos atajos de teclado más cómodos para invocar el zoom de Gnome cuando me haga falta. No tengo la opción de sacarlo con una tecla y la rueda del ratón, que es para mí lo ideal, pero bueno, es algo. Ahora, que no siga el foco del texto ya me fastidia bastante más. El día que vuelvan a implementarlo (porque estuvo) me harán tremendamente feliz.