This happens under Window (at least Windows 7), when you set the text size to a custome value:
Control Panels -> Display -> Set custom text size (DPI)
Choose e.g. 113%
Then the size of the window border is scaled also and does not have an integer pixel size.
A solution is almost trivial, after it is found.
