Skip to content

docs: auto-update for merged PRs (2026-09-12) - #4251

Merged
dgageot merged 1 commit into
mainfrom
docs/auto-update
Sep 12, 2026
Merged

docs: auto-update for merged PRs (2026-09-12)#4251
dgageot merged 1 commit into
mainfrom
docs/auto-update

Conversation

@aheritier

Copy link
Copy Markdown
Collaborator

Documentation updates

  • fix(tui): allow editing pending messages #4248 – fix(tui): allow editing pending messages: Documented the new Alt+Up shortcut in docs/features/tui/index.md:
    • Added a row to the Keyboard Shortcuts table describing that it recalls all pending (steered/follow-up/queued) messages back into the editor.
    • Expanded the lean-TUI steering/follow-up paragraph to explain that Alt+Up withdraws still-pending messages (concatenated in send order) for editing, while messages the agent already picked up are left untouched.

PRs reviewed with no doc changes needed

Source PR: #4248

Document the new Alt+Up shortcut that recalls pending steered,
follow-up, and locally queued messages back into the editor for
editing, in both the lean-TUI steering paragraph and the keyboard
shortcuts table.

Reflects changes from #4248.
Source PR: #4248
@aheritier
aheritier requested a review from a team as a code owner September 12, 2026 04:02
@aheritier aheritier added kind/docs Documentation-only changes area/docs Documentation changes labels Sep 12, 2026
@dgageot
dgageot added this pull request to the merge queue Sep 12, 2026
Merged via the queue into main with commit 4c8ddfb Sep 12, 2026
22 checks passed
@dgageot
dgageot deleted the docs/auto-update branch September 12, 2026 07:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

area/docs Documentation changes kind/docs Documentation-only changes

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants