tui: queue follow-ups during manual /compact#15259
Conversation
|
@codex review |
There was a problem hiding this comment.
💡 Codex Review
Here are some automated review suggestions for this pull request.
Reviewed commit: 00c5153692
ℹ️ About Codex in GitHub
Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you
- Open a pull request for review
- Mark a draft as ready
- Comment "@codex review".
If Codex has suggestions, it will comment; otherwise it will react with 👍.
Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".
|
@codex review |
There was a problem hiding this comment.
💡 Codex Review
Here are some automated review suggestions for this pull request.
Reviewed commit: fd48bd7ffa
ℹ️ About Codex in GitHub
Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you
- Open a pull request for review
- Mark a draft as ready
- Comment "@codex review".
If Codex has suggestions, it will comment; otherwise it will react with 👍.
Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".
|
@codex review |
There was a problem hiding this comment.
💡 Codex Review
codex/codex-rs/tui/src/chatwidget.rs
Lines 5801 to 5802 in 3298da6
maybe_send_next_queued_input pops the front message even when /compact gating is active. submit_user_message then re-queues it at the back when manual_compact_turn_state.is_active() (lines 5014-5016), so each replayed completion can rotate the queue (A,B -> B,A). This can execute follow-up prompts out of order once compact finishes.
codex/codex-rs/tui_app_server/src/chatwidget.rs
Lines 6837 to 6838 in 3298da6
The app-server mirror has the same pattern: autosend pops from the front even while the manual compact gate is active, and submit_user_message re-adds to the back (lines 5162-5164). Replayed turn-complete events during compact can reorder queued follow-ups before they are finally sent.
ℹ️ About Codex in GitHub
Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you
- Open a pull request for review
- Mark a draft as ready
- Comment "@codex review".
If Codex has suggestions, it will comment; otherwise it will react with 👍.
Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".
|
@codex review |
There was a problem hiding this comment.
💡 Codex Review
Here are some automated review suggestions for this pull request.
Reviewed commit: 8fe99c945d
ℹ️ About Codex in GitHub
Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you
- Open a pull request for review
- Mark a draft as ready
- Comment "@codex review".
If Codex has suggestions, it will comment; otherwise it will react with 👍.
Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".
|
@codex review |
There was a problem hiding this comment.
💡 Codex Review
Here are some automated review suggestions for this pull request.
Reviewed commit: 599f9eb30b
ℹ️ About Codex in GitHub
Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you
- Open a pull request for review
- Mark a draft as ready
- Comment "@codex review".
If Codex has suggestions, it will comment; otherwise it will react with 👍.
Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".
|
@codex review |
There was a problem hiding this comment.
💡 Codex Review
Here are some automated review suggestions for this pull request.
Reviewed commit: dd11c51456
ℹ️ About Codex in GitHub
Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you
- Open a pull request for review
- Mark a draft as ready
- Comment "@codex review".
If Codex has suggestions, it will comment; otherwise it will react with 👍.
Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".
|
@codex review |
There was a problem hiding this comment.
💡 Codex Review
Here are some automated review suggestions for this pull request.
Reviewed commit: f4749c6bea
ℹ️ About Codex in GitHub
Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you
- Open a pull request for review
- Mark a draft as ready
- Comment "@codex review".
If Codex has suggestions, it will comment; otherwise it will react with 👍.
Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".
| self.rejected_steers_queue | ||
| .push_back(pending_steer.user_message); | ||
| self.refresh_pending_input_preview(); | ||
| true |
There was a problem hiding this comment.
Auto-submit rejected steers after turn completion race
enqueue_rejected_steer only queues and redraws. If turn/steer is rejected after a turn/completed notification already cleared task_running, there is no subsequent completion callback to drain the queue, so the follow-up can remain stuck indefinitely. The core TUI path handles this by calling maybe_send_next_queued_input() when not running; this app-server mirror omits it.
Useful? React with 👍 / 👎.
There was a problem hiding this comment.
not possible in app server
f4749c6 to
362ab20
Compare
Co-authored-by: Codex <[email protected]>
7c18fec to
ff28c3b
Compare
Summary
/compactuntil that manual compact turn ends