[anjuta] document-manager: Fix bgo#711512 - <Search Text in Editor> Added an else condition to file plugins d

[Johannes Schmid <jhs src gnome org>]

commit 62cef243920bc43f72e851166db9697e7441c872
Author: kriti <kriti2kansal gmail com>
Date:   Wed Nov 6 23:43:18 2013 +0530

    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.

 plugins/document-manager/search-box.c |   13 +++++++++++++
 1 files changed, 13 insertions(+), 0 deletions(-)
---
diff --git a/plugins/document-manager/search-box.c b/plugins/document-manager/search-box.c
index 037f8a2..bee7670 100644
--- a/plugins/document-manager/search-box.c
+++ b/plugins/document-manager/search-box.c
@@ -568,6 +568,19 @@ search_box_incremental_search (SearchBox* search_box,
                g_object_unref (result_start);
                g_object_unref (result_end);
        }
+       else 
+       {
+               if(ianjuta_editor_selection_get (selection, NULL)!=NULL)        
+               {  
+                       IAnjutaIterable* selection_start =
+                               ianjuta_editor_selection_get_start (selection, NULL);
+                       ianjuta_editor_selection_set (selection,
+                                                     IANJUTA_ITERABLE (selection_start),
+                                                     IANJUTA_ITERABLE (selection_start), TRUE, NULL);
+                       g_object_unref (selection_start);
+               }
+
+       }    
 
        search_box_set_entry_color (search_box, found); 
        g_object_unref (real_start);