Actually, I am not sure is this a bug specific to gnome-text-editor, because all kinds of text editor are affected. I only choose gnome-text-editor for reporting the bug.
Actually, I am not sure is this a bug specific to gnome-text-editor, because all kinds of text editor are affected. I only choose gnome-text-editor for reporting the bug.