let update_doc_menu load_doc =
Cam_doc.update load_doc Cam_doc.default_doc_modules
Cam_doc_gui.open_element
Cam_doc_gui.search_exact
Cam_doc_gui.search_regexp
!doc_menu;
Gc.compact ();
match !Cam_doc_gui.modules_window with
None -> ()
| Some _ -> Cam_doc_gui.create_or_update_list_window Cam_doc.default_doc_modules