<h1>About the Richtext HTML editor</h1>

<p>Availability: <b>
<?php  if (!$CFG->htmleditor) {
       print_string("htmleditordisabledadmin");
   } else if (!$USER->htmleditor) {
       print_string("htmleditordisabled");
   } else if (!can_use_html_editor()) {
       print_string("htmleditordisabledbrowser");
   } else {
       print_string("htmleditoravailable");
   }
?>
</b></p>

<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>

<p>In addition to formatting text, this editor provides a number of extra
features you may find useful.</p>


<h2>Paste text in from other Applications</h2>

<div class="indent">
<p>You can cut and paste rich text from other Windows applications such as Microsoft Word
   straight into this editor, and your formatting will be preserved.  Just use the normal cut and paste
   menus in your web browser (or Control-C and Control-V).</p>
</div>


<h2>Inserting images <img alt="" src="lib/editor/htmlarea/images/ed_image.gif" /></h2>

<div class="indent">
<p>If you have images that are already published on a web site and accessible
via a URL, you can include these images in your texts using the "Insert Image" button.</p>
</div>


<h2>Inserting Tables <img alt="" src="lib/editor/htmlarea/images/insert_table.gif" /></h2>

<div class="indent">
<p>To add layout to your texts, you can use the "Insert Tables" button in the toolbar.</p>
</div>


<h2>Inserting Links <img alt="" src="lib/editor/htmlarea/images/ed_link.gif" /> /</h2>

<div class="indent">
<p>To make a new link, first type the text that you want to be a link. 
Then select it and click the link button in the toolbar.  Type the URL you want 
to link to and it's done!</p>
</div>


<h2>Inserting smilies (emoticons) <img alt="" src="pix/s/smiley.gif" class="icon" /></h2>

<div class="indent">
<p>To embed these small icons in your text, click on the smiley icon in the
toolbar. A dialog will pop up that allows you to select from the following 
smiley icons. (Alternatively, you can just type the corresponding code straight
into your text and it will be converted later when your text is displayed).</p>
<div id="emoticons">##emoticons_html##</div>
</div>
<div style="clear:both">&nbsp;</div>
