Técnicamente casi todos los teclados en pantalla tienen alguna función de corrección de errores, aunque están más enfocados a los pulsaciones erróneas de teclas también corrigen acentos, y en general solo sugieren palabras de diccionarios que asumamos deberían ser correctas.
En canto a gmail, la app no, pero la versión web (de escritorio, no móvil) si que tiene su corrector de siempre.
Polaris, ni zorra, no lo he probado mucho. Con un portátil de 15' no voy a escribir mis memorias en el TF la verdad.
Pd: estoy contigo en el sentido que me gustaría que en cada campo de texto de android aparecieran marcadas la palabras mal introducidas en un idioma determinado, al estilo de los navegadores web modernos. E iría muy bien con el dock claro.
¿alguna APP para ello? ¿Les sugerimos a XDA que se pongan a ello?