| commit | caa7c46ac4152748daad7ae06d7a555838548d17 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Thu Jun 12 10:49:13 1997 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Thu Jun 12 10:49:13 1997 +0000 |
| tree | 7984ea653a842776ee26b0328d8b61181db2cc44 | |
| parent | 455838a217473fef352deb2ecbda821c066a1869 [diff] |
- Restore SIOUX menubar just before exiting, if the console window is kept open (so the user can quit with cmd-Q, print, etc) - Removed a few unused routines