On Sun, Mar 25, 2012 at 03:25, Robby Findler <ro...@eecs.northwestern.edu> wrote: > So I've pushed a change to DrRacket that adds a preference. The > preference defaults to "no additional spacing" under windows and "one > extra pixel" (the 5.2.1 behavior) everywhere else. > > Please let me know if things start to look strange elsewhere!
Thanks! Will keep open eyes. 8^) P. ____________________ Racket Users list: http://lists.racket-lang.org/users
