fixed r1237 commit

alecpl

2008-04-02 fdccdb4afee82fe8ac4d2853ab806f4a7f90d13d

 program/js/editor.js

@@ -63,9 +63,10 @@
  // determine the currently displayed editor

  var htmlFlag = document.getElementsByName('_is_html')[0];
  var currentEditor = htmlFlag.value;
  var isHtml = htmlFlag.value;

  if (selectedEditor == currentEditor)
  if (((selectedEditor == 'plain') && (isHtml == "0")) ||
      ((selectedEditor == 'html') && (isHtml == "1")))
    {
    return;
    }