program/js/app.js
@@ -3789,6 +3789,13 @@ }); } this.plain2html = function(plainText, id) { this.set_busy(true, 'converting'); $(document.getElementById(id)).val('<pre>'+plainText+'</pre>'); this.set_busy(false); } /********************************************************/ /********* remote request methods *********/