completion description - use non-monospace for docs

MattParkerDev · MattParkerDev · commit fe42aaac3666 · 2026-02-20T21:28:14.000+10:00
diff --git a/src/SharpIDE.Godot/Features/CodeEditor/CompletionDescriptionTooltip.cs b/src/SharpIDE.Godot/Features/CodeEditor/CompletionDescriptionTooltip.cs
@@ -11,13 +11,10 @@ public static RichTextLabel WriteToCompletionDescriptionLabel(RichTextLabel labe
 	{
 		var quickInfoElements = completionDescription.TaggedParts.ToInteractiveTextElements(null);
 		label.PushColor(TextEditorDotnetColoursDark.White);
-		label.PushFont(MonospaceFont);
 		foreach (var quickInfoElement in quickInfoElements)
 		{
 			WriteQuickInfoElement(label, quickInfoElement, editorThemeColorSet);
 		}
-		//label.AddNamespace(symbol);
-		label.Pop(); // font
 		label.Pop(); // color
 		return label;
 	}
@@ -31,8 +28,11 @@ private static void WriteQuickInfoElement(RichTextLabel label, QuickInfoElement
 				{
 					var colour = ClassificationToColorMapper.GetColorForClassification(editorThemeColorSet, quickInfoClassifiedTextRun.ClassificationTypeName);
 					label.PushColor(colour);
+					var isMonospace = quickInfoClassifiedTextRun.ClassificationTypeName is not ("text" or "whitespace");
+					if (isMonospace) label.PushFont(MonospaceFont);
 					label.AddText(quickInfoClassifiedTextRun.Text);
 					label.Pop();
+					if (isMonospace) label.Pop();
 				}
 				break;
 			case QuickInfoContainerElement containerElement:

Original file line number	Diff line number	Diff line change
`@@ -11,13 +11,10 @@ public static RichTextLabel WriteToCompletionDescriptionLabel(RichTextLabel labe`
`11`	`11`	`{`
`12`	`12`	`var quickInfoElements = completionDescription.TaggedParts.ToInteractiveTextElements(null);`
`13`	`13`	`label.PushColor(TextEditorDotnetColoursDark.White);`
`14`		`- label.PushFont(MonospaceFont);`
`15`	`14`	`foreach (var quickInfoElement in quickInfoElements)`
`16`	`15`	`{`
`17`	`16`	`WriteQuickInfoElement(label, quickInfoElement, editorThemeColorSet);`
`18`	`17`	`}`
`19`		`- //label.AddNamespace(symbol);`
`20`		`- label.Pop(); // font`
`21`	`18`	`label.Pop(); // color`
`22`	`19`	`return label;`
`23`	`20`	`}`
`@@ -31,8 +28,11 @@ private static void WriteQuickInfoElement(RichTextLabel label, QuickInfoElement`
`31`	`28`	`{`
`32`	`29`	`var colour = ClassificationToColorMapper.GetColorForClassification(editorThemeColorSet, quickInfoClassifiedTextRun.ClassificationTypeName);`
`33`	`30`	`label.PushColor(colour);`
	`31`	`+ var isMonospace = quickInfoClassifiedTextRun.ClassificationTypeName is not ("text" or "whitespace");`
	`32`	`+ if (isMonospace) label.PushFont(MonospaceFont);`
`34`	`33`	`label.AddText(quickInfoClassifiedTextRun.Text);`
`35`	`34`	`label.Pop();`
	`35`	`+ if (isMonospace) label.Pop();`
`36`	`36`	`}`
`37`	`37`	`break;`
`38`	`38`	`case QuickInfoContainerElement containerElement:`