* fixing bug i reported in #1484545

till

2008-02-11 6108988f2b482d702e9f4ad2d1510f903c76286c

* fixing bug i reported in #1484545

 program/js/app.js

@@ -1824,6 +1824,10 @@
      var eid = tinyMCE.getEditorId('_message');
      // editor is a TinyMCE_Control object
      var editor = tinyMCE.getInstanceById(eid);
      // if this is null, we should exit
      if (editor == null) {
        return false;
      }
      var msgDoc = editor.getDoc();
      var msgBody = msgDoc.body;