Thank you for your bug report, that doesn't seem a trivial change though and not something we want to do before GNOME
Thank you for your bug report, that doesn't seem a trivial change though and not something we want to do before GNOME