Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-04-27 21:30:09 -0700 (Tue, 27 Apr 2004)
Revision: 5736
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.