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