From 5f9b13b8601711921611a6c5c6f3ec1e90696d7d Mon Sep 17 00:00:00 2001 From: vyshane Date: Wed, 15 Mar 2006 03:12:28 +0000 Subject: [PATCH] Updated use_html_editor() and print_editor_config() --- lib/weblib.php | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/lib/weblib.php b/lib/weblib.php index f31597c07d..bbff827136 100644 --- a/lib/weblib.php +++ b/lib/weblib.php @@ -3215,22 +3215,22 @@ function print_richedit_javascript($form, $name, $source='no') { */ function use_html_editor($name='', $editorhidebuttons='') { echo ''."\n"; } function print_editor_config($editorhidebuttons='', $return=false) { global $CFG; - - $str = "var config = editor.config;\n"; + $str .= "config.pageStyle = \"body {"; if (!(empty($CFG->editorbackgroundcolor))) { -- 2.39.5