void
edit_select_rep::selection_paste (string key) {
tree t; string s;
(void) ::get_selection (key, t, s, selection_import);
if (inside_active_graphics ()) {
if (is_tuple (t, "texmacs", 3))
call ("graphics-paste", t[1]);
return;
}
if (is_tuple (t, "extern", 1)) {
string mode= get_env_string (MODE);
string lan = get_env_string (MODE_LANGUAGE (mode));
if ((selection_import == "latex") && (mode == "prog")) mode= "verbatim";
if ((selection_import == "latex") && (mode == "math")) mode= "latex-math";
if ((selection_import == "html") && (mode == "prog")) mode= "verbatim";
string fm= selection_import * "-snippet";
tree doc= generic_to_tree (selection_decode(lan, as_string(t[1])), fm);
if (is_func (doc, DOCUMENT, 1)) doc= doc[0]; // temporary fix
insert_tree (doc);
}
if (is_tuple (t, "texmacs", 3)) {
string mode= get_env_string (MODE);
string lan = get_env_string (MODE_LANGUAGE (mode));
if (is_compound (t[1], "text", 1) && mode == "text")
t= tuple ("texmacs", t[1][0], "text", lan);
if (is_compound (t[1], "math", 1) && mode == "math")
t= tuple ("texmacs", t[1][0], "math", lan);
if (mode == "math" && t[2] == "text")
set_message ("Error: invalid paste of text into a formula", "paste");
else if (mode == "prog" && t[2] == "math") {
tree in= tuple (lan, t[1]);
tree r= stree_to_tree (call ("plugin-math-input", tree_to_stree (in)));
insert_tree (r);
}
else {
if ((t[2] != mode) && (t[2] != "src") && (mode != "src") &&
((t[2] == "math") || (mode == "math"))) {
if (t[2] == "math")
insert_tree (compound ("math", ""), path (0, 0));
else if (t[2] == "text")
insert_tree (compound ("text", ""), path (0, 0));
else
insert_tree (tree (WITH, copy (MODE), copy (t[2]), ""), path (2, 0));
}
if (is_func (t[1], TFORMAT) || is_func (t[1], TABLE)) {
int row, col;
path fp= search_format (row, col);
if (is_nil (fp)) insert_tree (compound (copy (TABULAR), t[1]));
else table_write_subtable (fp, row, col, t[1]);
}
else insert_tree (t[1]);
}
}
}
tree
bibtex_load_bbl (string bib, url bbl_file) {
string result;
if (load_string (bbl_file, result, false))
return "Error: bibtex failed to create bibliography";
int count=1;
tree t= generic_to_tree (result, "latex-snippet");
t= search_bib (t);
if (t == "") return "";
tree largest= t[0];
t= t[1];
tree u (DOCUMENT);
for (int i=0; i<arity(t); i++) {
if (is_concat (t[i]) &&
(is_compound (t[i][0], "bibitem") ||
is_compound (t[i][0], "bibitem*")))
{
tree item= t[i][0];
if (is_compound (item, "bibitem"))
item= compound ("bibitem*", as_string (count++), item[0]);
t[i][0]= item;
tree v (CONCAT, compound ("bibitem*", item[0]));
if (is_atomic (item[1]))
v << tree (LABEL, bib * "-" * item[1]->label);
if (N(t[i])>1) {
v << remove_start_space (t[i][1]);
v << A (t[i] (2, N(t[i])));
}
u << v;
}
}
if (N(u) == 0) u= tree (DOCUMENT, "");
return compound ("bib-list", largest, u);
}
static tree
coqdoc_to_tree (string s) {
bool newline= true;
int i=0, n= N(s);
tree coqdoc (DOCUMENT), line (CONCAT);
if (starts (s, "(**")) {
line << "(**";
i+= 3;
}
while (i < n) {
if (test (s, i, "[[\n")) {
add_line (line, coqdoc);
tree vernac=
vernac_to_tree (parse_delimited (s, i, "[[\n", "\n]]", false));
coqdoc << compound ("coqdoc-vernac", vernac);
newline= true;
}
else if (s[i] == '[')
line << compound ("coqdoc-coq",
from_verbatim (parse_delimited (s, i, "[", "]", false)));
else if (newline && (test (s, i, "**** ") || test (s, i, "*** ") ||
test (s, i, "** ") || test (s, i, "* "))) {
string header= "section";
if (test (s, i, "** ")) header= "subsection";
if (test (s, i, "*** ")) header= "subsubsection";
if (test (s, i, "**** ")) header= "paragraph";
while (i<n && s[i] == '*') i++;
while (i<n && is_spacing (s[i])) i++;
int start= i;
while (i<n && (s[i] != '\n' && !test (s, i, "*)"))) i++;
line << compound (header, coqdoc_to_tree (s (start, i)));
}
else if (newline && is_defining_pretty_printing (s, i)) {
string str= parse_delimited (s, i, "(*", "*)", false);
parse_pretty_printing_definition (str);
}
else if (newline && is_removing_pretty_printing (s, i)) {
string str= parse_delimited (s, i, "(*", "*)", false);
parse_pretty_printing_removal (str);
}
else if (test (s, i, "%%")) {
line << "%";
newline= false;
i+= 2;
}
else if (test (s, i, "$$")) {
line << "$";
newline= false;
i+= 2;
}
else if (test (s, i, "##")) {
line << "#";
newline= false;
i+= 2;
}
else if (s[i] == '#' || s[i] == '%' || s[i] == '$') {
newline= false;
char delim= s[i];
string ext= unescape_coqdoc (parse_delimited (s, i, delim));
tree tm;
if (delim == '#')
tm= compound ("coqdoc-html", generic_to_tree (ext, "html-snippet"));
else if (delim == '$')
tm= compound ("coqdoc-latex",
generic_to_tree ("$"*ext*"$", "latex-snippet"));
else if (delim == '%')
tm= compound ("coqdoc-latex", generic_to_tree (ext, "latex-snippet"));
if (is_multi_paragraph (tm)) {
add_line (line, coqdoc);
coqdoc << tm;
}
else
line << tm;
}
else if (is_list_begining (s, i)) {
tree list= parse_list (s, i);
add_line (line, coqdoc);
coqdoc << list;
newline= true;
}
else if (test (s, i, "\n<<")) {
add_line (line, coqdoc);
string parsed= parse_delimited (s, i, "\n<<", "\n>>", false);
if (N(parsed) > 0 && parsed[0] == '\n')
parsed= parsed(1, N(parsed));
tree verb= verbatim_to_tree (parsed, false, "SourceCode");
if (is_atomic (verb))
verb= document (verb);
coqdoc << compound ("coqdoc-verbatim", verb);
newline= true;
}
else if (test (s, i, "<<")) {
string parsed= parse_delimited (s, i, "<<", ">>", false);
tree verb= verbatim_to_tree (parsed, true, "SourceCode");
line << compound ("coqdoc-verbatim", verb);
}
else if (s[i] == '_' && (i == 0 || !start_ident(s[i-1]))) {
line << coqdoc_parse_emphasis (s, i);
newline= false;
}
else if (test (s, i, "----")) {
i+= 4;
add_line (line, coqdoc);
coqdoc << compound ("hrule");
while (i<n && s[i] == '-') i++;
newline= true;
}
else if (s[i] == '\n') {
add_line (line, coqdoc);
i++;
if (is_whiteline (s, i)) {
coqdoc << "";
do
skip_whiteline (s, i);
while (is_whiteline (s, i));
i--;
}
newline= true;
}
else if (s[i] == '<') {
line << "<less>";
i++;
newline= false;
}
else if (s[i] == '>') {
line << "<gtr>";
i++;
newline= false;
}
else {
if (!is_spacing (s[i]))
newline= false;
int start= i;
decode_from_utf8 (s, i);
line << from_verbatim (s(start, i));
}
}
if (N(line) > 0)
add_line (line, coqdoc);
if (N(coqdoc) == 0)
return "";
else if (N(coqdoc) == 1)
return coqdoc[0];
else
return coqdoc;
}
