This bug has disappeared some time in the last 2 weeks. I upgraded twice in that time. I also upgraded to GNOME 3, so the fix for this may be a side effect of that upgrade.
This can be closed now, AFAIC. Cheers, -- David Banks <[email protected]> -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
