- Add option to delete messages instead of moving to Trash when in Junk fol...

alecpl

2012-04-08 1b30a710cfe7fb2917ed337c52b06bb2236e1a05

 program/js/editor.js

@@ -107,7 +107,7 @@
      if (textarea && node)
        node.tabIndex = textarea.tabIndex;
      if (focus)
        editor.getWin().focus();
        editor.getBody().focus();
    }
  }
}