let search_exact doc_modules = match GToolbox.input_string ~title:Cam_messages.search_exact "" with None -> () | Some s -> search_elements_by_exact_names doc_modules s