[racket-dev] Pre-Release Checklist for v5.1

From: Matthew Flatt (mflatt at cs.utah.edu)
Date: Wed Feb 2 08:55:27 EST 2011

At Wed, 2 Feb 2011 08:44:53 -0500, Sam Tobin-Hochstadt wrote:
> On Wed, Feb 2, 2011 at 8:09 AM, Matthew Flatt <mflatt at cs.utah.edu> wrote:
> >
> > Recent versions of Ubuntu are configured disable images that accompany
> > text labels within buttons. For now, I made `racket/gui' enable button
> > images globally within the application, although it should really
> > should be button-specific (and only for buttons, like the ones in "PLT
> > Games", that are configured to show images independent of the user's
> > preferences).
> 
> I suspect that the "correct" way of doing this from GTK's perspective
> is to make the image a child of the button, but not part of the label.
>  I don't know if this would be a problem from the perspective of
> alignment/sizing though.

The relevant code is "collects/mred/private/wx/gtk/button.rkt".

Thanks!



Posted on the dev mailing list.