e85adfa757
The palette lives in Lua, so C++ stores the name only and ui.setTheme() writes through here before rebuilding and repainting.