Comment 8 for bug 1283966

Revision history for this message
Martin Pitt (pitti) wrote :

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