Browse files

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

of the Richtext functionality)
  • Loading branch information...
1 parent 18a3224 commit 291febf79c8e123a89befb8a9840248f090d0f37 moodler committed Oct 18, 2002
Showing with 18 additions and 3 deletions.
  1. +13 −2 lang/en/help/richtext.html
  2. +5 −1 lang/en/moodle.php
View
15 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.
View
6 lang/en/moodle.php
@@ -212,7 +212,11 @@
$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";

0 comments on commit 291febf

Please sign in to comment.