box typeset_as_document (edit_env env, tree t, path ip) { env->style_init_env (); env->update (); typesetter ttt= new_typesetter (env, t, ip); box b= ttt->typeset (); delete_typesetter (ttt); return b; }
edit_typeset_rep::~edit_typeset_rep () { delete_typesetter (ttt); }