[gnome-builder] file-search: allow removing files from search index

[Christian Hergert <chergert src gnome org>]

commit 6c562b462cc16729d0b4ddb3298037426136cd28
Author: Christian Hergert <christian hergert me>
Date:   Mon Apr 25 21:45:31 2016 -0700

    file-search: allow removing files from search index
    
    This inserts a tombstone for deleted items so they no longer show up in
    the search results.

 plugins/file-search/gb-file-search-index.c |   11 +++++++++++
 plugins/file-search/gb-file-search-index.h |    2 ++
 2 files changed, 13 insertions(+), 0 deletions(-)
---
diff --git a/plugins/file-search/gb-file-search-index.c b/plugins/file-search/gb-file-search-index.c
index 0098dfd..e5c89fa 100644
--- a/plugins/file-search/gb-file-search-index.c
+++ b/plugins/file-search/gb-file-search-index.c
@@ -359,3 +359,14 @@ gb_file_search_index_insert (GbFileSearchIndex *self,
 
   fuzzy_insert (self->fuzzy, g_strdup (relative_path), NULL);
 }
+
+void
+gb_file_search_index_remove (GbFileSearchIndex *self,
+                             const gchar       *relative_path)
+{
+  g_return_if_fail (GB_IS_FILE_SEARCH_INDEX (self));
+  g_return_if_fail (relative_path != NULL);
+  g_return_if_fail (self->fuzzy != NULL);
+
+  fuzzy_remove (self->fuzzy, relative_path);
+}
diff --git a/plugins/file-search/gb-file-search-index.h b/plugins/file-search/gb-file-search-index.h
index fee9240..6f1924a 100644
--- a/plugins/file-search/gb-file-search-index.h
+++ b/plugins/file-search/gb-file-search-index.h
@@ -42,6 +42,8 @@ gboolean gb_file_search_index_contains     (GbFileSearchIndex    *self,
                                             const gchar          *relative_path);
 void     gb_file_search_index_insert       (GbFileSearchIndex    *self,
                                             const gchar          *relative_path);
+void     gb_file_search_index_remove       (GbFileSearchIndex    *self,
+                                            const gchar          *relative_path);
 
 G_END_DECLS