Matthew Flatt 2f9536a416 racket/gui: adjust label size on some controls ... Extra margins added by instantiating `message%' inside `radio-box%', etc., made labels line up especially badly. original commit: b24eb311dd744db70f0ae29a18994555b4499dea		2013-08-20 15:27:33 -06:00
pkgs	racket/gui: adjust label size on some controls	2013-08-20 15:27:33 -06:00