Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-04-27 21:30:08 -0700 (Tue, 27 Apr 2004)
Revision: 358
Log message:

      This adds the final major feature I wanted to add to the browser:
      copy/paste of terms into the rulebox.  There are two parts:
         1. The display form engine saves the terms in "slot" position
            into a table based on a string ID.
         2. Javascript to paste a term identified by ID into the rulebox.
      To use this, just click on a term, and it will be pasted into the
      rulebox.
      
      The term in the rulebox is pasted in "src" mode.  Currently, terms
      in "src" mode are not parsable by Term_grammar.  Ugh.
      
      At long last, I declare the the browser interface to be in bugfix mode.
      
      Bugfix TODO:
         1. Terms in "src" mode cannot be parsed.  Working on this.
            See Bugzilla bug #212.
         2. Need to add an "options" menu for things like:
            a. default "ls" flags
            b. handles on terms, so any term can be selected
         3. Remove the "Edit" menu, at least for now
         4. The mouse events are hardcoded in Lm_rformat_html.  Try to
            figure out a better way.
      

Changes	Path
+2 -2	libmojave/stdlib/lm_rformat_html.ml