let get_mb () =
  match !the_mb with
  | Some w -> w#window#show () ; w#minibuffer
  | None ->
      let w = new minibuffer_window () in
      the_mb := Some w;
      w#minibuffer