Thank you for your bug report, that's an option and the default has been discussed on https://bugzilla.gnome.org/show_bug.cgi?id=532543, not a bug but an upstream choice
Thank you for your bug report, that's an option and the default has been discussed on https:/ /bugzilla. gnome.org/ show_bug. cgi?id= 532543, not a bug but an upstream choice