C# (CSharp) JetBrains.UI.RichText RichText Examples

Example #1

        public bool DecorateNode(IResource res, JetBrains.UI.RichText.RichText nodeText)
        {
            bool need2Decor = res.HasProp(Core.Props.LastError);

            if (need2Decor)
            {
                nodeText.SetStyle(TextStyle.EffectStyle.WeavyUnderline, Color.Red, 0, nodeText.Length);
                nodeText.SetColors(Color.Red, SystemColors.Window, 0, nodeText.Length);
            }
            return(need2Decor);
        }

Example #2

 protected void NewLine()
 {
     this.myLastString = new JetBrains.UI.RichText.RichText();
     this.myStrings.Add(this.myLastString);
 }

Example #3

 protected void Append(JetBrains.UI.RichText.RichText richText) => this.myLastString.Append(richText);

Example #4

File: RichText.cs Project: mo5h/omeo

        public object Clone()
        {
            RichText clone = new RichText(myString, myParameters, myParts);

            return(clone);
        }