From 291febf79c8e123a89befb8a9840248f090d0f37 Mon Sep 17 00:00:00 2001
From: moodler <moodler>
Date: Fri, 18 Oct 2002 11:27:14 +0000
Subject: [PATCH] Improved the documentation (it has some live feedback on the
 state of the Richtext functionality)

---
 lang/en/help/richtext.html | 15 +++++++++++++--
 lang/en/moodle.php         |  6 +++++-
 2 files changed, 18 insertions(+), 3 deletions(-)

diff --git a/lang/en/help/richtext.html b/lang/en/help/richtext.html
index 0a5bd6b997..945bfb1784 100644
--- a/lang/en/help/richtext.html
+++ b/lang/en/help/richtext.html
@@ -1,8 +1,19 @@
 <P ALIGN=CENTER><B>About the Richtext HTML editor</B></P>
 
-<P>The Richtext HTML editor is currently only available when using Microsoft Internet Explorer 5.5 or later.
+<P>Availability: <B>
+<? if (!$CFG->htmleditor) {
+       print_string("htmleditordisabledadmin");
+   } else if (!$USER->htmleditor) {
+       print_string("htmleditordisabled");
+   } else if (!can_use_richtext_editor()) {
+       print_string("htmleditordisabledbrowser");
+   } else {
+       print_string("htmleditoravailable");
+   }
+?>
+</B></P>
 
-<P>It provides a word-processor interface embedded in your web page to allow you to edit text in an intuitive way, and produces normal HTML code.
+<P>The Richtext HTML editor provides a word-processor interface embedded in your web page to allow you to edit text in an intuitive way, and produces normal HTML code.
 
 <P>In addition to formatting text, this editor provides a number of extra features you may find useful.
 
diff --git a/lang/en/moodle.php b/lang/en/moodle.php
index bde45c1316..dd891b7817 100644
--- a/lang/en/moodle.php
+++ b/lang/en/moodle.php
@@ -212,7 +212,11 @@ $string['hide'] = "Hide";
 $string['home'] = "Home";
 $string['hour'] = "hour";
 $string['hours'] = "hours";
-$string['htmleditor'] = "Use WYSIWYG HTML editor (IE only, 5.5 or later)";
+$string['htmleditor'] = "Use Richtext HTML editor (IE only, 5.5 or later)";
+$string['htmleditoravailable'] = "The Richtext editor is available";
+$string['htmleditordisabled'] = "You have disabled the Richtext editor in your user profile";
+$string['htmleditordisabledadmin'] = "The administrator has disabled the Richtext editor on this site";
+$string['htmleditordisabledbrowser'] = "The Richtext editor is unavailable because you are not using Internet Explorer 5.5 or better";
 $string['htmlformat'] = "Pretty HTML format";
 $string['icqnumber'] = "ICQ number";
 $string['idnumber'] = "ID number";
-- 
2.39.5