Den 2016-06-04 kl. 14:36, skrev Alexandre Franke: > On Sat, Jun 4, 2016 at 12:34 PM, Anders Jonsson > <mailingli...@norsjovallen.se> wrote: >> In that case, is there a bug report for the GNOME Shell case? I >> searched, but didn't find one. > You're right that there should be a bug report about that. I filed it. > > https://bugzilla.gnome.org/show_bug.cgi?id=767237
Thanks for filing! Subscribing now. :-) Indeed it is much better to have the core problem fixed rather than relying on workarounds. _______________________________________________ gnome-i18n mailing list gnome-i18n@gnome.org https://mail.gnome.org/mailman/listinfo/gnome-i18n
