let hide_log_window () =
  let w = get_log_window () in
  w#misc#hide ()