| commit | 749023695e6928beb4a7dbf4cf2c799f77995011 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Thu Oct 19 20:32:35 2000 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Thu Oct 19 20:32:35 2000 +0000 |
| tree | 3dc39bc68ddd7cd183ccec5ec1fb014f1d6e9672 | |
| parent | fd9925af567111d45f4d62679d8e0217dbde5075 [diff] |
Use MacOS.OutputSeen() on menuselections: it treats a menu selection in the same way as input to stdin (i.e. as an ack of the output that went before). This makes the CGI tools work nicely for Quit.