private Node create_node_from_name_and_par_group(Node parent, String name, List<String> par_group)
{
if (name.Length == 0)
return null;
RichTextBox virt_box = new RichTextBox();
foreach (String par in par_group)
{
virt_box.Select(Math.Max(virt_box.Text.Length - 1, 0), 0);
virt_box.SelectedText = "\n\n";
virt_box.Select(Math.Max(virt_box.Text.Length - 1, 0), 0);
virt_box.SelectedRtf = map_text_to_rtf(par.Trim());
}
return parent.CreateChild(name, virt_box.Rtf);
}
private Node create_node_from_name_and_content(Node parent, String name, String content)
{
if (name.Length == 0)
return null;
if (content.Length > 0)
content = map_text_to_rtf(content);
return parent.CreateChild(name, content);
}
