At Wed, 2 Feb 2011 08:44:53 -0500, Sam Tobin-Hochstadt wrote: > On Wed, Feb 2, 2011 at 8:09 AM, Matthew Flatt <mfl...@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! _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev