[cvs-nhc98] patch applied (hat): A Hat source window should not disappear when someone accidentally hits

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

Previous message: [cvs-nhc98] patch applied (hat): When hat-trail is invoked from another tool, an accidental backspace
Next message: [cvs-nhc98] patch applied (hat): Replace 2-3-4 trees with Red-Black trees. (From Thomas Nordin.)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Wed Jun  5 09:39:57 PDT 2002  malcolm
  * A Hat source window should not disappear when someone accidentally hits
  any key.  (To quit, the characters 'q' or 'x' are now needed.)

    M ./src/hattools/SrcRefViewer.hs -2 +9

Previous message: [cvs-nhc98] patch applied (hat): When hat-trail is invoked from another tool, an accidental backspace
Next message: [cvs-nhc98] patch applied (hat): Replace 2-3-4 trees with Red-Black trees. (From Thomas Nordin.)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Cvs-nhc98 mailing list