Ubuntu
gedit package

  1. Bug #1573728
  2. Comment #8

Comment 8 for bug 1573728

Revision history for this message
Pedro Côrte-Real (pedrocr) wrote :

Here's the upstream bug report with an included patch:

https://bugzilla.gnome.org/show_bug.cgi?id=730414

Maybe that patch could be added to the Ubuntu package?