update hr colour

This commit is contained in:
Matt Parker
2025-10-11 15:29:30 +10:00
parent 962a24cf7a
commit 5667c3e846

View File

@@ -352,16 +352,17 @@ public static class SymbolInfoComponents
}, label); }, label);
} }
private static readonly Color HrColour = new Color("4d4d4d");
private static void AddDocs(this RichTextLabel label, IMethodSymbol methodSymbol) private static void AddDocs(this RichTextLabel label, IMethodSymbol methodSymbol)
{ {
var xmlDocs = methodSymbol.GetDocumentationCommentXml(); var xmlDocs = methodSymbol.GetDocumentationCommentXml();
if (string.IsNullOrWhiteSpace(xmlDocs)) return; if (string.IsNullOrWhiteSpace(xmlDocs)) return;
label.AddHr(100, 1, CachedColors.Gray); label.AddHr(100, 1, HrColour);
label.Newline(); label.Newline();
var docComment = DocumentationComment.FromXmlFragment(xmlDocs); var docComment = DocumentationComment.FromXmlFragment(xmlDocs);
if (docComment.SummaryText is not null) if (docComment.SummaryText is not null)
{ {
label.AddXmlDocFragment(docComment.SummaryText); label.AddXmlDocFragment(docComment.SummaryText.ReplaceLineEndings(" "));
label.Newline(); label.Newline();
} }
label.PushTable(2); label.PushTable(2);