gedit

  1. Bug #1264115
  2. Comment #6

Comment 6 for bug 1264115

Revision history for this message
robepisc (robepisc) wrote :

The upstream bug has a proposed patch:
https://git.gnome.org/browse/gedit/log/?h=wip/search-timeout