Thank you for your bug report, the issue should rather be reported to the people writting the software on
https://gitlab.gnome.org/GNOME/gedit/issues/
Thank you for your bug report, the issue should rather be reported to the people writting the software on
https:/ /gitlab. gnome.org/ GNOME/gedit/ issues/