Go to file
Matthew Flatt e9b6c166a9 racket/draw: compensate for roundoff in Windows GUI scaling
Roundoff can place a child of a container so that it's position plus
width extend beyond the container's width. For some controls, that
looks especially bad. Approximate precise scaling by having those
control sizes round down, instead of up, while leaving other kinds
of controls alone.

original commit: ed92e271e848513fc0d2e9b54a89d86947fdb465
2014-09-24 08:40:52 -06:00
pkgs racket/draw: compensate for roundoff in Windows GUI scaling 2014-09-24 08:40:52 -06:00