Thanks very much for that. I’ll try it.
I did knock up a fix, but I haven’t fully tested it yet, so I’m not using it on live.
Editing the domainTheme_options row in wp_options works, but it’s bit messy, and the admin pages don’t show the correct theme, so I wouldn’t recommend it.
