Possibly a bug here, but it appears that the result list in the Search window does not apply font changes. See the screenshot below: <img width="841" height="596" alt="Image" src="https://github.com/user-attachments/assets/e3bd4731-d5ad-46d5-9500-cb1293504e6d" /> The search bar allows for font change, making me believe this is a forgotten `setFont(font)`.
Possibly a bug here, but it appears that the result list in the Search window does not apply font changes. See the screenshot below:
The search bar allows for font change, making me believe this is a forgotten
setFont(font).