From df2898fe3bd6f317d7e3846a6a48300b92e5f8f3 Mon Sep 17 00:00:00 2001
From: moodler <moodler>
Date: Wed, 16 Oct 2002 04:52:57 +0000
Subject: [PATCH] Don't show htmleditor preference if it's disabled by admin

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

diff --git a/user/edit.html b/user/edit.html
index 11a6944970..f0e04c8966 100644
--- a/user/edit.html
+++ b/user/edit.html
@@ -61,6 +61,7 @@ if (isadmin()) {
     choose_from_menu ($choices, "mailformat", $user->mailformat, "") ?>
 	</td>
 </tr>
+<? if ($CFG->htmleditor) { ?>
 <tr valign=top>
 	<td><P><? print_string("textediting") ?>:</td>
 	<td><? 
@@ -70,6 +71,7 @@ if (isadmin()) {
     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) ?>">
-- 
2.39.5