diff --git a/src/extension_commands.ml b/src/extension_commands.ml index 04fb59cfa..8fff10879 100644 --- a/src/extension_commands.ml +++ b/src/extension_commands.ml @@ -553,6 +553,7 @@ module Search_by_type = struct client Type_search.request (Type_search.make ~uri ~position ~limit ~query ~with_doc ())) + |> Promise.catch ~rejected:(fun _ -> Promise.return []) let input_box = (* Re-using the same instance of the input box allows us to remember the