Remove brackets from PREV/NEXT labels - PR 11.7

Author: DavidQ

docs/dev/codex_commands.md

@@ -1,8 +1 @@
-model: gpt-5.3-codex
-
-Apply PR_11_6_NAV_BUTTON_POLISH
-
-- Increase PREV/NEXT size
-- Add padding
-- Match toolbar buttons
-- CSS only
+Apply PR_11_7_NAV_LABEL_CLEANUP: remove [ ] from PREV/NEXT labels.

docs/dev/commit_comment.txt

@@ -1 +1 @@
-Increase PREV/NEXT size and padding - PR 11.6
+Remove brackets from PREV/NEXT labels - PR 11.7

docs/dev/reports/REPORT_PR_11_7.md

@@ -0,0 +1 @@
+Cleaner navigation labels applied.

docs/pr/PR_11_7_NAV_LABEL_CLEANUP/BUILD.md

@@ -0,0 +1 @@
+Update labels PREV/NEXT (no brackets). CSS/markup only.

docs/pr/PR_11_7_NAV_LABEL_CLEANUP/PLAN.md

@@ -0,0 +1 @@
+Remove brackets from PREV/NEXT labels for cleaner UI.

tools/shared/platformShell.js

@@ -1405,7 +1405,7 @@ function renderWorkspaceSummary(currentTool) {
         <strong class="tools-platform-frame__project-name">${escapeHtml(workspaceName)}${escapeHtml(dirtyMark)}</strong>
         <span class="tools-platform-frame__project-meta">${escapeHtml(readiness)}</span>
       </div>       
-      <section class="tool-host-pager" aria-label="Workspace tool pager" data-tool-host-pager><button type="button" class="tool-host-pager__button" data-tool-host-prev>[PREV]</button><span class="tool-host-pager__name" data-tool-host-current-label>${escapeHtml(currentTool?.displayName || "Tool")}</span><button type="button" class="tool-host-pager__button" data-tool-host-next>[NEXT]</button></section>
+      <section class="tool-host-pager" aria-label="Workspace tool pager" data-tool-host-pager><button type="button" class="tool-host-pager__button" data-tool-host-prev>PREV</button><span class="tool-host-pager__name" data-tool-host-current-label>${escapeHtml(currentTool?.displayName || "Tool")}</span><button type="button" class="tool-host-pager__button" data-tool-host-next>NEXT</button></section>
     </div>
   `;
 }