Since the regular spinbox from tkinter does not support a hexadecimal format specifier (e.g. '%#x'), I wrote a dedicated class for that. It turned out to be surprisingly hard to get the built-in ...