From da061bb4573f4ae5ff43b3551c485fe2ab50636a Mon Sep 17 00:00:00 2001
From: moodler <moodler>
Date: Thu, 10 Oct 2002 07:29:09 +0000
Subject: [PATCH] Added option to choose HTML editor

---
 user/edit.html | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/user/edit.html b/user/edit.html
index ed9669174bd..11a69449704 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) ?>">