commit | 1e8557a9fe1267dedf57322abb1bf3deab53fd3f | [log] [tgz] |
---|---|---|
author | Jack Jansen <jack.jansen@cwi.nl> | Fri Nov 10 14:51:26 1995 +0000 |
committer | Jack Jansen <jack.jansen@cwi.nl> | Fri Nov 10 14:51:26 1995 +0000 |
tree | 7f165ad4fe46b29c857fd8a9aa13c3727a91d82a | |
parent | 8324836329f86204417522d9de210becf0189a09 [diff] |
For MW Python, update titlebar of window when python exits.