[cvs-nhc98] patch applied (hat): When hat-trail is invoked from another tool, an accidental backspace

Malcolm Wallace Malcolm.Wallace at cs.york.ac.uk
Tue Oct 10 07:18:22 EDT 2006


Wed Jun  5 09:35:34 PDT 2002  malcolm
  * When hat-trail is invoked from another tool, an accidental backspace
  at the top of the window caused hat-trail to exit.  It should remain
  on screen.

    M ./src/hattools/HatTrail.hs -2 +1


More information about the Cvs-nhc98 mailing list