- Don't add PRE tags when switching to html mode and textarea is empty

alecpl

2011-11-16 fa9edc3daa049e894e76a2034018c4b970bd8e06

- Don't add PRE tags when switching to html mode and textarea is empty

 program/js/app.js

@@ -5738,7 +5738,7 @@
  this.plain2html = function(plainText, id)
  {
    var lock = this.set_busy(true, 'converting');
    $(document.getElementById(id)).val('<pre>'+plainText+'</pre>');
    $(document.getElementById(id)).val(plainText ? '<pre>'+plainText+'</pre>' : '');
    this.set_busy(false, null, lock);
  };