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); }