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