thomascube
2008-02-20 4d3f3b9a3f53ae992cf726c94e5fb769510fa3bb
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;
    }