It appears that someone else already reported this bug here: https://bugzilla.gnome.org/show_bug.cgi?id=752739 So my report has been marked as duplicate.
It appears that someone else already reported this bug here: https:/ /bugzilla. gnome.org/ show_bug. cgi?id= 752739 So my report has been marked as duplicate.