Actually, I'm having a bit of trouble reproducing this exact bug now. There seems to be a problem with themes in that some of them (seemingly Low and High) don't appear to be present, they just give the default Gnome theme.
Actually, I'm having a bit of trouble reproducing this exact bug now. There seems to be a problem with themes in that some of them (seemingly Low and High) don't appear to be present, they just give the default Gnome theme.