public static RichText operator +(RichText rt, string s) { RichTextSection[] sections = new RichTextSection[rt.Sections.Count + 1]; int i = 0; foreach (RichTextSection section in rt.Sections) { sections[i++] = section; } sections[i++] = new RichTextSection(s, Color.White); return(new RichText(sections)); }
/// <summary> /// Writes to the current line /// </summary> /// <param name="rts">string to write</param> public void Write(RichTextSection rts) { lock (_linesModifyLock) { if (Lines.Length != 0) { Lines[Lines.Length - 1].Sections.Add(rts); } else { WriteLine(new RichText(rts)); } } }
public static RichText operator +(RichText rt1, RichText rt2) { RichTextSection[] sections = new RichTextSection[rt1.Sections.Count + rt2.Sections.Count]; int i = 0; foreach (RichTextSection section in rt1.Sections) { sections[i++] = section; } foreach (RichTextSection section in rt2.Sections) { sections[i++] = section; } return(new RichText(sections)); }