[gedit] Remove dead code

[Sébastien Wilmet <swilmet src gnome org>]

commit d4fbe141660f211e773ad3c87a7e3811b6ab72b6
Author: Sébastien Wilmet <swilmet gnome org>
Date:   Mon Jul 1 12:47:51 2013 +0200

    Remove dead code

 gedit/gedit-commands.h |    2 --
 1 files changed, 0 insertions(+), 2 deletions(-)
---
diff --git a/gedit/gedit-commands.h b/gedit/gedit-commands.h
index 70ae612..a711906 100644
--- a/gedit/gedit-commands.h
+++ b/gedit/gedit-commands.h
@@ -142,8 +142,6 @@ void                _gedit_cmd_search_clear_highlight       (GtkAction   *action,
                                                         GeditWindow *window);
 void           _gedit_cmd_search_goto_line             (GtkAction   *action,
                                                         GeditWindow *window);
-void           _gedit_cmd_search_incremental_search    (GtkAction   *action,
-                                                        GeditWindow *window);
 
 void           _gedit_cmd_documents_previous_document  (GtkAction   *action,
                                                         GeditWindow *window);