Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-04-21 08:54:55 -0700 (Wed, 21 Apr 2004)
Revision: 5688
Log message:

      Added some widgets to the browser.  Widgets are context-sensitive,
      you can add them to the browser resource define in Browser_resource.
      
      This version also demonstrates the use of iframes to display the
      document.  I'm including for demo purposes, but I don't like it.
      
      TODO:
         1. The upper menubar should always be present, even if
            the resource is not.
         2. The history should select the last entry.  It would be
            nice to catch arrow events in the input area, and scroll
            the history.
      

Changes  Path
+14 -0 metaprl/filter/filter/filter_parse.ml
+2 -0 metaprl/support/shell/Files
+3 -4 metaprl/support/shell/browser_copy.mli
+3 -4 metaprl/support/shell/browser_copy.mll
+38 -19 metaprl/support/shell/browser_display_term.ml
+3 -1 metaprl/support/shell/browser_display_term.mli
Added metaprl/support/shell/browser_resource.ml
Properties metaprl/support/shell/browser_resource.ml
Added metaprl/support/shell/browser_resource.mli
Properties metaprl/support/shell/browser_resource.mli
Added metaprl/support/shell/inputs/body.html
Properties metaprl/support/shell/inputs/body.html
+74 -39 metaprl/support/shell/inputs/layout.js
+16 -6 metaprl/support/shell/inputs/page.html
+22 -10 metaprl/support/shell/inputs/style.css
+9 -0 metaprl/support/shell/shell.ml
+75 -22 metaprl/support/shell/shell_browser.ml
+2 -0 metaprl/support/shell/shell_sig.mlz
+7 -0 metaprl/support/tactics/auto_tactic.ml
+7 -0 metaprl/support/tactics/dtactic.ml