Fix theme and mascot editors.
Sorry, they've been broken awhile and no one told me.