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 <amoebae at gmail.com>