Sur la page http://bugzilla.mozilla.org/show_bug.cgi?id=26288 il y a un patch pour mozilla.
Le problème est que je ne sais pas comment l'installer, je ne sais pas ce que je dois mettre dans le fichier editor.js et je ne trouve pas les fichier editorOverlay.*
Quelqu'un sait m'aider