Comment 2 for bug 12376

Revision history for this message
Thom May (thombot) wrote :

< mdz> ok, the problem is redefined as "window manager shortcuts no longer work
on desktop #5"
<@thom> whacky
< mdz> but continue to work everywhere else
<@thom> that's, um, impressive
< mdz> ok, closing all windows on that desktop and diddling about a bit seems to
have gotten it back
< mdz> even after reopening firefox
< mdz> so RESOLVED/WTF