allow to select the theme from the GUI
[booh] / AUTHORS
2005-03-28 gc*** empty log message ***
2005-03-28 gc*** empty log message ***