There appears to be a merge request with a fix available here: https://gitlab.gnome.org/GNOME/gnome-text-editor/-/merge_requests/152
There appears to be a merge request with a fix available here: https:/ /gitlab. gnome.org/ GNOME/gnome- text-editor/ -/merge_ requests/ 152