Improved the documentation (it has some live feedback on the state

of the Richtext functionality)

diff --git a/lang/en/help/richtext.html b/lang/en/help/richtext.html
index 0a5bd6b9970b54405d53cfb8f2039a64f2de50c7..945bfb178401e0f6f1fda479047fc3dd42ab82a3 100644 (file)
--- 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 bde45c13167bf54366e729042b5d13a2134845b6..dd891b781761f37da0abd6fabdaf281f96dbe8be 100644 (file)
--- 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";