FIxed bug 406 - richtext setting resets!

2003-05-08 13:34:42 +00:00
parent ac6e435422
commit eb7ec77d68
1 changed files with 1 additions and 1 deletions
@@ -1,5 +1,5 @@
 <?PHP
-   if (empty($user->htmleditor)) {
+   if (!isset($user->htmleditor)) {
       $user->htmleditor = 1;
   }
   if (empty($user->lang)) {