let update_module_box_if_displayed doc_modules = match !modules_window with None -> () | Some _ -> create_or_update_list_window doc_modules