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...

diff --git a/Lib/lib-tk/Tkinter.py b/Lib/lib-tk/Tkinter.py
index a508d26d12c6b69c145ded6c1ac2ed20ebafe743..d7e73cfb4b75a62147a7db06fc592aa999cbc55c 100644 (file)
--- a/Lib/lib-tk/Tkinter.py
+++ b/Lib/lib-tk/Tkinter.py
@@ -332,7 +332,7 @@ class Misc:
                return getint(
                        self.tk.call('winfo', 'height', self._w))
        def winfo_id(self):
-               return getint(
+               return self.tk.getint(
                        self.tk.call('winfo', 'id', self._w))
        def winfo_interps(self, displayof=0):
                args = ('winfo', 'interps') + self._displayof(displayof)