Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-06-19 20:46:59 -0700 (Sat, 19 Jun 2004)
Revision: 5955
Log message:

      Fixed the problem with going to some random directory on restart.
      
      Note:
         Mozilla tries to remember subframe locations on location.reload();
         To avoid this, use location.href = location.href.
      

Changes  Path
+3 -3 metaprl/support/shell/browser_resource.ml
+2 -1 metaprl/support/shell/inputs/frameset.html
+1 -0 metaprl/support/shell/inputs/frameset.js
+88 -9 metaprl/support/shell/inputs/layout.js
+1 -9 metaprl/support/shell/inputs/reload.html
+26 -1 metaprl/support/shell/inputs/style.css
+0 -1 metaprl/support/shell/shell.ml
+22 -19 metaprl/support/shell/shell_browser.ml
+2 -6 metaprl/support/shell/shell_fs.ml