I don't agree it is a duplicate of the bug #505765. Bug #505765 is an old bug in gedit happening in any distro whereas this bug #1850073 is a regression in recently released Ubuntu 19.10 (Gnome) and should be prioritized another way.
I don't agree it is a duplicate of the bug #505765.
Bug #505765 is an old bug in gedit happening in any distro whereas this bug #1850073 is a regression in recently released Ubuntu 19.10 (Gnome) and should be prioritized another way.