remove "Midas" codename from page contents; describing as "Rich Text Editing"; NOT PART OF BUILD

2003-05-30 15:43:54 +00:00 · 2003-05-30 15:43:54 +00:00 · 5a286652d5
--- a/editor/docs/midas-spec.html
+++ b/editor/docs/midas-spec.html
@ -9,9 +9,10 @@
 <body>
 Last revised:&nbsp; May 30, 2003<br>
 <br>
-Midas is rich text editing controls for a document.<br>
+This document describes the rich text editing controls for web pages
+available in recent mozilla browsers.<br>
 <br>
-<h1> Enabling Midas:</h1>
+<h1> Enabling Rich Text Editing in your web page:</h1>
 <div style="margin-left: 40px;">Given a document, you can add the
 attribute
 "designMode" and set it to "on" to get an editable document. &nbsp;For
@ -32,8 +33,9 @@ from being handled but typing and other actions are still possible.<br>
 <h1>Invoking Commands:</h1>
 <h2>execCommand<br>
 </h2>
-<div style="margin-left: 40px;">Given a document that has Midas
-enabled,
+<div style="margin-left: 40px;">Given a document that has rich text
+editing
+enabled (see above),
 you can invoke specific commands on the document by calling execCommand
 with
 3 parameters. &nbsp;For example, in JavaScript, if you have an editable