I sent two possible patches:
https://gitlab.gnome.org/GNOME/console/-/merge_requests/98
and
https://gitlab.gnome.org/GNOME/console/-/merge_requests/99
I sent two possible patches:
https:/ /gitlab. gnome.org/ GNOME/console/ -/merge_ requests/ 98
and
https:/ /gitlab. gnome.org/ GNOME/console/ -/merge_ requests/ 99