diff options
Diffstat (limited to 'common/content/editor.js')
-rw-r--r-- | common/content/editor.js | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/common/content/editor.js b/common/content/editor.js index 06ff9fd4..78280152 100644 --- a/common/content/editor.js +++ b/common/content/editor.js @@ -317,8 +317,6 @@ const Editor = Module("editor", { } update(true); - if (textBox) - textBox.removeAttribute("readonly"); }, this); if (res == false) @@ -328,9 +326,13 @@ const Editor = Module("editor", { // Errors are unlikely, and our error messages won't // likely be any more helpful than that given in the // exception. - dactyl.echoerr(e); + dactyl.reportError(e, true); tmpBg = "red"; } + finally { + if (textBox) + textBox.removeAttribute("readonly"); + } // blink the textbox after returning if (textBox) { |