Given the simplicity of the fix, I strongly suggest to add it as a patch in Debian. It resorts to the following commit: https://git.gnome.org/browse/gedit/commit/?id=f4ecdcb8807fec2594f62bf7a 7f179063f31e41b
... although I would add the following just for clarity: https://git.gnome.org/browse/gedit/commit/?id=3bdfa5764deb9909dae9ef041 a7e9b6d6297341a I would be happy to help (i.e. to prepare a unified patch). Pietro
