On Mon, Sep 29, 2025 at 2:05 PM Julien ROBIN <[email protected]> wrote: > Hoping this report may help getting this solved for everybody!
Please report this issue and or make a merge request upstream: https://gitlab.gnome.org/World/gedit/libgedit-gtksourceview/-/issues I suggest trying gnome-text-editor which uses gtksourceview5 Thank you, Jeremy Bícha
