(In reply to Michiel Janssens from comment #1) > Duplicate of bug 1112824? Nope, different, but may be a gnome issue.