tree fef9652ddaf35547eae088d23b6dbb3ddccd32c8
parent fc6aba5008caede94ad65a9cf387b3ba971d5379
author Guido van Rossum <guido@python.org> 908336585 +0000
committer Guido van Rossum <guido@python.org> 908336585 +0000
HG:extra convert_revision:svn%3A6015fed2-1504-0410-9fe1-9d1591cc4771/python/branches/legacy-trunk%4011858

Polish the Debugger GUI a bit.
Closing it now also does the right thing.