document-manager: Fixes on find in files
commit333a286f570179b26a65fae220b21fa4b6cfe23e
authorJohannes Schmid <jhs@gnome.org>
Fri, 24 Feb 2012 13:51:35 +0000 (24 14:51 +0100)
committerJohannes Schmid <jhs@gnome.org>
Fri, 24 Feb 2012 13:51:35 +0000 (24 14:51 +0100)
tree6b7c28aea23fb0e14d4ca2ccaad1edafbdff4be6
parent150117849a274ac0cf5c7661468784f70183b2a5
document-manager: Fixes on find in files

* Switch to correct document if it is already opened
* Fix sensitivity of "Replace All"
plugins/document-manager/search-files.c