diff --git a/bin/docfd.ml b/bin/docfd.ml
index b550ddf..6a16603 100644
--- a/bin/docfd.ml
+++ b/bin/docfd.ml
@@ -631,10 +631,13 @@ let run
         | Ui_base.Recompute_document_src -> (
             let document_src = compute_document_src () in
             let old_document_store = Lwd.peek Ui_base.Vars.document_store in
+            let file_path_filter_glob = Document_store.file_path_filter_glob old_document_store in
+            let file_path_filter_re = Document_store.file_path_filter_re old_document_store in
             let search_exp_text = Document_store.search_exp_text old_document_store in
             let search_exp = Document_store.search_exp old_document_store in
             let document_store =
               document_store_of_document_src ~env pool document_src
+              |> Document_store.update_file_path_filter_glob file_path_filter_glob file_path_filter_re
               |> Document_store.update_search_exp pool (Stop_signal.make ()) search_exp_text search_exp
             in
             Document_store_manager.submit_update_req document_store Ui_base.Vars.document_store;
diff --git a/bin/document_store.ml b/bin/document_store.ml
index 998895c..b2ae040 100644
--- a/bin/document_store.ml
+++ b/bin/document_store.ml
@@ -28,6 +28,10 @@ let empty : t =
     search_results = String_map.empty;
   }
 
+let file_path_filter_glob (t : t) = t.file_path_filter_glob
+
+let file_path_filter_re (t : t) = t.file_path_filter_re
+
 let search_exp (t : t) = t.search_exp
 
 let search_exp_text (t : t) = t.search_exp_text
diff --git a/bin/document_store.mli b/bin/document_store.mli
index 0feb2a2..c782752 100644
--- a/bin/document_store.mli
+++ b/bin/document_store.mli
@@ -20,6 +20,10 @@ val update_search_exp :
   t ->
   t
 
+val file_path_filter_glob : t -> string
+
+val file_path_filter_re : t -> Re.re
+
 val search_exp : t -> Search_exp.t
 
 val search_exp_text : t -> string