From 3b9b99e0188a1318587e1d16e263ff0c12e08237 Mon Sep 17 00:00:00 2001
From: urs_hunkler <urs_hunkler>
Date: Sun, 12 Aug 2007 09:58:23 +0000
Subject: [PATCH] $THEME->htmleditorpostprocess merged from 1.8

---
 lib/weblib.php | 19 +++++++++++++++----
 1 file changed, 15 insertions(+), 4 deletions(-)

diff --git a/lib/weblib.php b/lib/weblib.php
index 8b020afdc1..b191d09be0 100644
--- a/lib/weblib.php
+++ b/lib/weblib.php
@@ -4262,6 +4262,8 @@ function print_textarea($usehtmleditor, $rows, $cols, $width, $height, $name, $v
  * @param string $name Form element to replace with HTMl editor by name
  */
 function use_html_editor($name='', $editorhidebuttons='', $id='') {
+    global $THEME;
+    
     $editor = 'editor_'.md5($name); //name might contain illegal characters
     if ($id === '') {
         $id = 'edit-'.$name;
@@ -4272,11 +4274,20 @@ function use_html_editor($name='', $editorhidebuttons='', $id='') {
     echo "var config = $editor.config;\n";
 
     echo print_editor_config($editorhidebuttons);
-
-    if (empty($name)) {
-        echo "\nHTMLArea.replaceAll($editor.config);\n";
+    
+    if (empty($THEME->htmleditorpostprocess)) {
+        if (empty($name)) {
+            echo "\nHTMLArea.replaceAll($editor.config);\n";
+        } else {
+            echo "\n$editor.generate();\n";
+        }
     } else {
-        echo "\n$editor.generate();\n";
+        if (empty($name)) {
+            echo "\nvar HTML_name = '';";
+        } else {
+            echo "\nvar HTML_name = \"$name;\"";
+        }
+        echo "\nvar HTML_editor = $editor;";
     }
     echo '//]]>'."\n";
     echo '</script>'."\n";
-- 
2.39.5