From: moodler <moodler>
Date: Thu, 10 Oct 2002 07:29:09 +0000 (+0000)
Subject: Added option to choose HTML editor
X-Git-Url: http://git.mjollnir.org/gw?a=commitdiff_plain;h=da061bb4573f4ae5ff43b3551c485fe2ab50636a;p=moodle.git

Added option to choose HTML editor
---

diff --git a/user/edit.html b/user/edit.html
index ed9669174b..11a6944970 100644
--- a/user/edit.html
+++ b/user/edit.html
@@ -61,6 +61,15 @@ if (isadmin()) {
     choose_from_menu ($choices, "mailformat", $user->mailformat, "") ?>
 	</td>
 </tr>
+<tr valign=top>
+	<td><P><? print_string("textediting") ?>:</td>
+	<td><? 
+    unset($choices);
+    $choices["0"] = get_string("texteditor");
+    $choices["1"] = get_string("htmleditor");
+    choose_from_menu ($choices, "htmleditor", $user->htmleditor, "") ?>
+	</td>
+</tr>
 <tr valign=top>
 	<td><P><? print_string("city") ?>:</td>
 	<td><input type="text" name="city" size=25 value="<? p($user->city) ?>">