Repository navigation
Conversation
The sidebar shows the session ID below the title only in development builds; release builds never show it, so copying the ID of the session on screen means leaving the TUI for a session list. sidebar.session_id in tui.json shows or hides that line in every build. It stays in the sidebar title block, in the muted text color, and is ordinary selectable text. Unset keeps the current behavior: shown in development builds, hidden in release builds. The /session-id command (session.sidebar.session_id, keybind sidebar_session_id, unbound by default) toggles it and remembers the choice in the TUI kv store, which takes precedence over tui.json like the other session toggles.
Contributor
|
The following comment was made by an LLM, it may be inaccurate: |
Nowaker
force-pushed
the
sidebar-session-id
branch
from
October 7, 2026 11:13
18d6718 to
78529ac
Compare
This branch has not been deployed
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Issue for this PR
Closes #53662
Type of change
What does this PR do?
Adds
sidebar.session_idtotui.json, so release builds can show the session ID below the session title in the sidebar, the way development builds already do.true/false: show or hide it in every build.It reuses the existing line in the sidebar title block (muted text color, plain selectable text) and only replaces its
InstallationChannel !== "latest"condition. The/session-idcommand (session.sidebar.session_id, keybindsidebar_session_id, unbound by default) toggles it and stores the choice in the TUI kv store, which takes precedence overtui.json, like the other session toggles. Documented intui.mdxandkeybinds.mdx.How did you verify your code works?
test/config.test.tsxcovers decoding;bun testandbun typecheckpass inpackages/tui.OPENCODE_VERSION=1.18.34) in isolatedXDG_*dirs on a throwaway tmux socket, one turn each; sidebar top as captured:The ID line renders in the same muted color as the Context values (
#808080in the default theme)./session-idhid it (kvsidebar_session_id: false) and showed it again.Checklist
This PR is AI generated, but under direct supervision and on request of @Nowaker.