-
Guillaume Desmottes authored
This avoid stacking a bunch of useless searches while user is typing as we can't stop the old search before starting the new one. https://bugzilla.gnome.org/show_bug.cgi?id=685278
35c4220f
This avoid stacking a bunch of useless searches while user is typing as we can't stop the old search before starting the new one. https://bugzilla.gnome.org/show_bug.cgi?id=685278