https://bugzilla.gnome.org/show_bug.cgi?id=671693
We're replacing the code that switches extensions on/off in the fail whale with something that disables all extensions - it was never a good UI in the first place. -- Jasper _______________________________________________ gnome-i18n mailing list gnome-i18n@gnome.org http://mail.gnome.org/mailman/listinfo/gnome-i18n