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. -- sam th sa...@ccs.neu.edu _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev
