Use correct font for highlighting matches in "Open Resource" dialog

xpomul · vogella · commit 1df5ba18f9a0 · 2026-03-17T09:52:51.000+01:00
Fixes #3782 by using the dialog font as base for the highlighting style instead of the default font. Signed-off-by: Stefan Winkler <stefan@winklerweb.net>
diff --git a/bundles/org.eclipse.ui.ide/extensions/org/eclipse/ui/dialogs/FilteredResourcesSelectionDialog.java b/bundles/org.eclipse.ui.ide/extensions/org/eclipse/ui/dialogs/FilteredResourcesSelectionDialog.java
@@ -723,7 +723,7 @@ public StyledString getStyledText(Object element) {
 			Styler boldStyler = new Styler() {
 				@Override
 				public void applyStyles(TextStyle textStyle) {
-					textStyle.font = JFaceResources.getFontRegistry().getBold(JFaceResources.DEFAULT_FONT);
+					textStyle.font = JFaceResources.getFontRegistry().getBold(JFaceResources.DIALOG_FONT);
 				}
 			};
 

Original file line number	Diff line number	Diff line change
`@@ -723,7 +723,7 @@ public StyledString getStyledText(Object element) {`
`723`	`723`	`Styler boldStyler = new Styler() {`
`724`	`724`	`@Override`
`725`	`725`	`public void applyStyles(TextStyle textStyle) {`
`726`		`- textStyle.font = JFaceResources.getFontRegistry().getBold(JFaceResources.DEFAULT_FONT);`
	`726`	`+ textStyle.font = JFaceResources.getFontRegistry().getBold(JFaceResources.DIALOG_FONT);`
`727`	`727`	`}`
`728`	`728`	`};`
`729`	`729`