void edit_select_rep::selection_set (string key, tree t, bool persistant) { selecting= shift_selecting= false; string mode= as_string (selection_get_env_value (MODE)); string lan = as_string (selection_get_env_value (MODE_LANGUAGE (mode))); tree sel= tuple ("texmacs", t, mode, lan); /* TODO: add mode="graphics" somewhere in the context of the <graphics> tag. To be done when implementing the different embeddings for nicely copying graphics into text, text into graphics, etc. */ string s; if (key == "primary" || key == "mouse") { if (selection_export == "verbatim") t= exec_verbatim (t, tp); if (selection_export == "html") t= exec_html (t, tp); if (selection_export == "latex") t= exec_latex (t, tp); if ((selection_export == "latex") && (mode == "math")) t= compound ("math", t); s= tree_to_generic (t, selection_export * "-snippet"); s= selection_encode (lan, s); } if (::set_selection (key, sel, s, selection_export) && !persistant) selection_cancel (); }
tree edit_typeset_rep::exec_latex (tree t) { return exec_latex (t, rp * 0); }