From aefb486ec2a9f724f23d9906fc3d5fa37ac06f3f Mon Sep 17 00:00:00 2001
From: Steven Hugg <hugg@fasterlight.com>
Date: Sat, 29 Aug 2026 17:47:41 +0200
Subject: [PATCH] search: font styling for result kind

---
 src/ide/search/searchview.ts | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/ide/search/searchview.ts b/src/ide/search/searchview.ts
index 368d7b2a..7dafc24f 100644
--- a/src/ide/search/searchview.ts
+++ b/src/ide/search/searchview.ts
@@ -140,10 +140,11 @@ export function openSearchDialog() {
         rec.kind === 'enum' ? 'E' :
         rec.kind === 'text' ? '≡' : '•';
       const loc = rec.file && rec.line ? `${rec.file}:${rec.line}` : (rec.file || '');
+      const isSmart = rec.kind !== 'text';
       const li = $('<li class="list-group-item search-hit" style="cursor:pointer;padding:6px 10px"></li>');
       li.html(
         `<span class="search-kind" style="margin-right:6px;font-weight:bold">${kindIcon}</span>` +
-        `<strong>${escapeHtml(rec.name)}</strong>` +
+        (isSmart ? `<strong>${escapeHtml(rec.name)}</strong>` : `<span class="search-dumb">${escapeHtml(rec.name)}</span>`) +
         (rec.brief ? ` <span class="text-muted">- ${escapeHtml(rec.brief)}</span>` : '') +
         `<span class="pull-right text-muted" style="font-size:small">${escapeHtml(srcName)}${loc ? ' · ' + escapeHtml(loc) : ''}</span>`
       );