Et voilà, this already got fixed upstream in January: https://git.gnome.org/browse/gedit/commit/gedit/gedit-window.c?id=816957
Et voilà, this already got fixed upstream in January: https:/ /git.gnome. org/browse/ gedit/commit/ gedit/gedit- window. c?id=816957