tree d7d8f41e839568346ac229a115a5c7ddac7ade49
parent 268824e089060dcc5d62a538cc19db6652daaa79
author Guido van Rossum <guido@python.org> 898230945 +0000
committer Guido van Rossum <guido@python.org> 898230945 +0000
HG:extra convert_revision:svn%3A6015fed2-1504-0410-9fe1-9d1591cc4771/python/branches/legacy-trunk%4011008

Turns out that 'winfo id' returns the id as a hex string, with 0x prefix.
The int() function (aliased to getint()) doesn't handle that, so we must
use self.tk.getint() again...