github/SharpIDE
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Update diagnostic message style

Browse Source
This commit is contained in:
Matt Parker
2025-12-07 18:44:39 +10:00
parent f5d0a57689
commit 50878aa5db
1 changed files with 1 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
src/SharpIDE.Godot/Features/CodeEditor/SymbolTooltips/DiagnosticTooltip.cs
View File

@@ -9,9 +9,8 @@ public static partial class SymbolInfoComponents
{ {
var label = new RichTextLabel(); var label = new RichTextLabel();
label.PushColor(CachedColors.White); label.PushColor(CachedColors.White);
label.PushFont(MonospaceFont); label.PushFontSize(14);
label.AddText(diagnostic.Diagnostic.GetMessage()); label.AddText(diagnostic.Diagnostic.GetMessage());
label.Pop(); // font
label.Pop(); label.Pop();
return label; return label;
} }