well, not quite: after booting windows I have found out that one would need to subtract 4 pixels on windows, instead of two needed on linux -- so the ``border-or-something'' problem is common to both oses, but the numbers are different.
Krzysztof
Krzysztof Czaja wrote: ...
btw, it looks like a windows-specific side-effect of patching a tcl/tk/linux problem...