Moi, j'ai découvert que le correcteur orthographique buggue quand il y a trop de mots inconnus.
Quand c'est le cas, il se met à souligner en rouge des mots parfaitement valables, et qui ne créent pas de choix « Ignorer l'orthographe » ou « Mémoriser l'orthographe » quand on clique-droit dessus.
Ça m'arrive fréquemment quand je fais du LaTeX, avec les commandes qui sont évidemment inconnues du dictionnaire… Ça disparaît quand on fait « Ignorer l'orthographe » sur les mots fautifs. Si on ne le fait pas, le soulignage disparaît parfois quand on continue d'écrire, puis réapparaît… Les mémoriser est aussi une solution à long terme, étant donné qu'on sait qu'on ne fait pas de faute en tapant ces commandes…
Avez-vous déjà rencontré ce problème, ou suis-je un cas isolé ? 