Apply changes from trunk to 0.1-stable

thomascube

2008-04-05 e70d6ea64e711096af36b1234f8545b870ea5f45

 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;
    }