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