コード例 #1
0
        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);
        }
コード例 #2
0
 protected void NewLine()
 {
     this.myLastString = new JetBrains.UI.RichText.RichText();
     this.myStrings.Add(this.myLastString);
 }
コード例 #3
0
 protected void Append(JetBrains.UI.RichText.RichText richText) => this.myLastString.Append(richText);
コード例 #4
0
ファイル: RichText.cs プロジェクト: mo5h/omeo
        public object Clone()
        {
            RichText clone = new RichText(myString, myParameters, myParts);

            return(clone);
        }