document-manager: Fix bgo#711512 - <Search Text in Editor> Added an else condition to file plugins document-manager/search-box.c which in case of unmatched text calls the ianjuta_editor_selection_set function and unselects any previously selected text.