Well actually I already had a much simpler fix pending, that I just committed. No need to add a private header just for this! François.
hmm.. we are disconnected somewhere ;-)I'm working on compositing... (fervently) and mentioned that future plans entailed ensuring be_control_look was swappable at run-time with an addon.. and mentioned plans for a theme system (which, obviously, is just a plan ;-) ).
If ThemeManager works, then fantastic - never looked at it, but I will... Okay - back to the intricacies of app_server internals... --The loon