OH NO. Don't tell me they've "fixed" the window manager even more, so that our hacks don't work anymore?!?! Argh. I haven't "upgraded" to PR 1.2, but I'll try to figure out what's wrong when I do...