let show_odoc_info_and_code ~title ~info ~code = let text_doc = new text_doc (ref []) in ignore (text_doc#window#show ()); text_doc#put_info (Some info); text_doc#put_code ~with_pre: true code; text_doc#set_title title