diff --git a/src/web/public/app.js b/src/web/public/app.js index 447a959e..1c945bd2 100644 --- a/src/web/public/app.js +++ b/src/web/public/app.js @@ -6709,7 +6709,9 @@ class CodemanApp { // every agent CLI, claude included, shows its logo through PR #532's // `run-mode-dot ` slot, the id as DATA, so the tab, the tile and split // headers and the Run menus draw the same mark. An id with no logo rule (a - // CLI added through ~/.codeman/clis.json) gets that slot's plain dot. + // CLI added through ~/.codeman/clis.json) gets that slot's plain dot. The + // span is always emitted: CLI Logos on Tabs (`showTabCliLogos`) hides it + // in CSS under html[data-tab-logos='off'], so a toggle never re-renders. const tabModeHtml = mode === 'shell' ? '' : ``; diff --git a/src/web/public/home-sessions.js b/src/web/public/home-sessions.js index a0fb9268..7865c08c 100644 --- a/src/web/public/home-sessions.js +++ b/src/web/public/home-sessions.js @@ -428,7 +428,8 @@ Object.assign(CodemanApp.prototype, { line1.appendChild(badge); } else { // The agent's logo: PR #532's slot, the mode id as data (an id with no - // logo rule gets the slot's plain dot). + // logo rule gets the slot's plain dot). CLI Logos on Tabs hides it in CSS + // (html[data-tab-logos='off']), exactly as it does on the tab strip. const logo = document.createElement('span'); logo.className = `home-sessions-harness run-mode-dot ${row.mode}`; logo.setAttribute('aria-hidden', 'true'); diff --git a/src/web/public/i18n.js b/src/web/public/i18n.js index ffdd8d86..dfa75f3e 100644 --- a/src/web/public/i18n.js +++ b/src/web/public/i18n.js @@ -369,6 +369,9 @@ '会话列表显示为顶栏横向标签条,或左侧可折叠侧边栏(Alt+B)。完整侧边栏为每个会话显示与主界面相同的详细信息。', 'Tall Tabs (Name + Folder)': '双行标签(名称 + 文件夹)', 'Pop-out Button on Tabs': '标签页弹出窗口按钮', + 'CLI Logos on Tabs': '标签页上的 CLI 图标', + "Show each agent's CLI logo before the session name on tabs and the home screen's tab list. Off leaves the status dot and the shell's SH badge. Tiles, split headers and the Run menus keep their logos.": + '在标签页和主界面的标签列表中,于会话名称前显示每个智能体的 CLI 图标。关闭后仍保留状态圆点和 Shell 的 SH 标记。平铺、分屏标题栏和运行菜单中的图标不受影响。', // Tab Layout and Header Stats Style (Discussion #426). The header style's // "Tiles" is 磁贴, never 平铺: that is the tile grid's word (the Tiles // button), and "Tiles (label over value)" must not read as the grid. diff --git a/src/web/public/index.html b/src/web/public/index.html index 335d3785..f2fdbee0 100644 --- a/src/web/public/index.html +++ b/src/web/public/index.html @@ -65,7 +65,7 @@ app.js, NOT the handheld storage-key test `m`. Use a different predicate here and boot will contradict this value, animating the drawer open by itself on every load between 768 and 1023px. --> - +