let open_element doc_modules ele = let text_doc = new text_doc doc_modules in ignore (text_doc#window#show ()); text_doc#push ele