patch applied (hat): A Hat source window should not disappear when someone accidentally hits
10 Oct
2006
10 Oct
'06
4:48 p.m.
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
7038
Age (days ago)
7038
Last active (days ago)
0 comments
1 participants
participants (1)
-
Malcolm Wallace