let show_log_window () =
  let w = get_log_window () in
  w#show ()