Home
last modified time | relevance | path

Searched refs:std_drd (Results 1 – 8 of 8) sorted by relevance

/dports/editors/texmacs/TeXmacs-1.99.4-src/src/Data/Drd/
H A Ddrd_std.hpp16 extern drd_info std_drd;
H A Ddrd_std.cpp15 drd_info std_drd ("tm"); variable
16 drd_info the_drd= std_drd;
83 std_drd->info (l)= ti; in init()
84 std_drd->freeze_arity (l); in init()
85 std_drd->freeze_border (l); in init()
95 std_drd->info (l)= ti; in init_var()
96 std_drd->freeze_arity (l); in init_var()
97 std_drd->freeze_border (l); in init_var()
/dports/editors/texmacs/TeXmacs-1.99.4-src/src/Texmacs/Window/
H A Dtm_button.cpp73 drd_info drd ("none", std_drd); in tree_extents()
194 drd_info drd ("none", std_drd); in texmacs_output_widget()
/dports/editors/texmacs/TeXmacs-1.99.4-src/src/Data/Document/
H A Dnew_style.cpp155 drd_info drd ("none", std_drd); in compute_env_and_drd()
212 return std_drd; in get_style_drd()
/dports/editors/texmacs/TeXmacs-1.99.4-src/src/Edit/Editor/
H A Dedit_main.cpp51 drd (buf->buf->title, std_drd), et (the_et), rp (buf->rp) {} in editor_rep()
55 drd (buf->buf->title, std_drd), et (the_et), rp (buf2->rp) {} in editor_rep()
/dports/editors/texmacs/TeXmacs-1.99.4-src/src/Data/Convert/Verbatim/
H A Dverbatim.cpp156 tree w= std_drd->get_env_child (t, i, tree (ATTR)); in print_verbatim()
/dports/editors/texmacs/TeXmacs-1.99.4-src/src/Data/Convert/Texmacs/
H A Dupgradetm.cpp3945 else if (std_drd->get_type_child (t, i) != TYPE_REGULAR || in upgrade_quotes()
3946 std_drd->get_env_child (t, i, MODE, "text") != "text") in upgrade_quotes()
/dports/editors/texmacs/TeXmacs-1.99.4-src/src/Data/Convert/Tex/
H A Dfromtex_post.cpp2113 tree t11= drd_correct (std_drd, t10); in latex_to_tree()