commit | 7b741767621f57aa068186cd03733d166858fe1d | [log] [tgz] |
---|---|---|
author | Guido van Rossum <guido@python.org> | Wed Jan 13 12:45:41 1993 +0000 |
committer | Guido van Rossum <guido@python.org> | Wed Jan 13 12:45:41 1993 +0000 |
tree | b8a38652afaa376800b2d03e08cdfb7eea1c0d51 | |
parent | e89341250dc00b9c6920024fe9a64e7183da7a55 [diff] |
Close the window when receiving a close request; turn time into int.