Thanks, maybe you could also report it upstream on https://gitlab.gnome.org/GNOME/gnome-text-editor/-/issues ?
Thanks, maybe you could also report it upstream on https:/ /gitlab. gnome.org/ GNOME/gnome- text-editor/ -/issues ?