- Stop spellchecking when switching to html editor (#1485362)

alecpl

2008-10-01 f4b8681160110659f5f78b309237de6f43c32537

 program/js/app.js

@@ -1971,6 +1971,13 @@
  this.display_spellcheck_controls = function(vis)
  {
    if (this.env.spellcheck) {
      // stop spellchecking process
      if (!vis && !this.spellcheck_ready) 
        {
   exec_event(this.env.spellcheck.check_link, 'click');
   this.set_spellcheck_state('ready');
   }
			      
      this.env.spellcheck.check_link.style.visibility = vis ? 'visible' : 'hidden';
      this.env.spellcheck.switch_lan_pic.style.visibility = vis ? 'visible' : 'hidden';
    }