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