search: Remove "Find files" button and instead reuse the search button for this feature.
commitf840391537f71102491c507d8a650479a1cc97ea
authorJohannes Schmid <jhs@gnome.org>
Mon, 13 Feb 2012 19:48:22 +0000 (13 20:48 +0100)
committerJohannes Schmid <jhs@gnome.org>
Mon, 13 Feb 2012 19:51:06 +0000 (13 20:51 +0100)
tree6e339dd611dc2b02fced5d266be4ace99060efaf
parentdfb739235dc3b72ebd82bbe62fa6c12f70c72ba1
search: Remove "Find files" button and instead reuse the search button for this feature.

Also align the buttons correctly and rename "Replace" to "Replace All"
plugins/document-manager/anjuta-document-manager.ui
plugins/document-manager/search-files.c