commit | 35e55da7dce202b985b1735b9ae9b0080a993ba4 | [log] [tgz] |
---|---|---|
author | Guido van Rossum <guido@python.org> | Wed Oct 14 03:43:05 1998 +0000 |
committer | Guido van Rossum <guido@python.org> | Wed Oct 14 03:43:05 1998 +0000 |
tree | fef9652ddaf35547eae088d23b6dbb3ddccd32c8 | |
parent | fc6aba5008caede94ad65a9cf387b3ba971d5379 [diff] |
Polish the Debugger GUI a bit. Closing it now also does the right thing.