He estado teniendo problemas con aplicaciones de Mozilla, específicamente Thunderbird y Firefox. Mucho más molesto en Thunderbird por cuestiones de mi flujo de trabajo.

La situación es que parte del menú contextual que incluye la corrección ortográfica se ve ocultado detrás de la barra negra superior de gnome shell. A como se ve en el ejemplo siguiente:

Deben fijarse como queda un borde extremadamente fino de color azul donde esta el puntero.

Si yo cambio la posición de la ventana, el menú contextual aparece de forma correcta. A como pueden ver en el siguiente ejemplo:

No había encontrado este error en firefox, pero por cuasualidad lo encontré al ingresar comentarios en un blog. Luego pude replicarlo en otro blog para hacer este ejemplo:

De nuevo la linea azul extremadamente fina que demuestra una opción oculta por la barra negra superior de Gnome Shell. Cambiando de tamaño y moviendo la ventana hacia abajo, este error no se muestra. A como pueden ver en el ejemplo siguiente:

Es obvio que la mejor opción de la correción ortográfica presentada en el menú contextual esta arriba y es la que esta ocultada por la barra negra superior de gnome shell.

Decidí que esto era demasiado molesto y que debía hacer algo al respecto. Así que abrí un reporte de Bug.

UPDATE: Ya fue corregido, pero para la siguiente versión de Gnome que viene en Fedora 19. Así que la respuesta es más o menos: «Aguantate hasta la siguiente versión». Menos mal que falta solo como un mes. Supongo que debí haberme quejado antes.