Change the meaning of GUIManager::add_theme, to specify the exact theme filename, instead of the base directory containing the theme and resources. This allows multiple themes sharing resources
Modify GUIManager::add_theme() to extract the vfs path
Work in progress fixing the GUIFont example. It now compiles and runs, but does not use the sprite font
Adjust the button1 test to use the revised API