Example #1
0
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;
}
Example #2
0
edit_typeset_rep::~edit_typeset_rep () { delete_typesetter (ttt); }