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

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