tree 7984ea653a842776ee26b0328d8b61181db2cc44
parent 455838a217473fef352deb2ecbda821c066a1869
author Jack Jansen <jack.jansen@cwi.nl> 866112553 +0000
committer Jack Jansen <jack.jansen@cwi.nl> 866112553 +0000
HG:extra convert_revision:svn%3A6015fed2-1504-0410-9fe1-9d1591cc4771/python/branches/legacy-trunk%408209

- 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