Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-12-10 01:45:32 -0800 (Fri, 10 Dec 2004)
Revision: 6352
Log message:

      (Bug 363) Typing would now bring focus to the command line input form. As
      usual with JS, part of this is an ugly hack - finding out what character was
      typed (in order to append it to the command line) is not easy and involves
      things like manually testing the state of the Shift key :-(
      

Changes	Path
+1 -1	metaprl/support/shell/inputs/frameset.html
+18 -0	metaprl/support/shell/inputs/layout.js