Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-04-23 12:10:20 -0700 (Fri, 23 Apr 2004)
Revision: 5700
Log message:

      I had been working on the browser sporadically; here is a demo
      update.
      
      Changes:
         1. Use frames instead of div.  I'm still not sure what the
            advantage is beyond getting the scrollbars to work
            properly.  The control code is a lot more complicated
            of course.
         2. This history works with the arrow keys.
         3. Session support is better.
      
      Tested just on Mozilla 1.4, I haven't tested on other browsers.
      
      TODO:
         1. It is not possible to create a new session currently.
         2. Menubar should have some default non-context-sensitive
            entries.
      

Changes  Path
+7 -2 metaprl/support/shell/Files
+3 -1 metaprl/support/shell/browser_copy.mli
+3 -1 metaprl/support/shell/browser_copy.mll
+71 -31 metaprl/support/shell/browser_display_term.ml
+21 -7 metaprl/support/shell/browser_display_term.mli
+32 -32 metaprl/support/shell/browser_resource.ml
+5 -4 metaprl/support/shell/browser_resource.mli
+2 -2 metaprl/support/shell/inputs/access.html
+112 -52 metaprl/support/shell/inputs/layout.js
+17 -40 metaprl/support/shell/inputs/style.css
+439 -173 metaprl/support/shell/shell_browser.ml