At Thu, 22 Jul 2010 10:26:47 +0200, Laurent wrote: > I can see there is a `get-panel-background' function that returns the > background color of panels, but is there a `set-panel-background' or > something equivalent?
No, there's no way currently to set the background of a panel. Even `get-panel-background' isn't really a good idea, since the graphical depiction of the panel is up to the GUI toolkit and maybe some user-selected theme, and it isn't necessarily just a color. After GRacket moves to more modern GUI toolkits, we'll revisit questions like this, based on what the toolkits provide. _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/users
