search: Search for next occurence when replace succeeds (see bgo#665945)
commit0a1e8f02fbdfb8e6fda54d3d24c6ee72ee278735
authorJohannes Schmid <jhs@gnome.org>
Sun, 1 Jan 2012 20:46:05 +0000 (1 21:46 +0100)
committerJohannes Schmid <jhs@gnome.org>
Sun, 1 Jan 2012 20:46:05 +0000 (1 21:46 +0100)
tree3c7bbaca5e36e4071e700270c13799669d73b812
parent9dd4df8f63163f2d90afe5375c9975b50b0d9771
search: Search for next occurence when replace succeeds (see bgo#665945)
plugins/document-manager/search-box.c