Skip to content

Make context line permanent#4699

Merged
dedrisian-oai merged 14 commits intomainfrom
daniel/add-context-line-permanent
Oct 8, 2025
Merged

Make context line permanent#4699
dedrisian-oai merged 14 commits intomainfrom
daniel/add-context-line-permanent

Conversation

@dedrisian-oai
Copy link
Copy Markdown
Contributor

@dedrisian-oai dedrisian-oai commented Oct 3, 2025

Screen.Recording.2025-10-07.at.9.25.28.PM.mov

Copy link
Copy Markdown
Contributor

@chatgpt-codex-connector chatgpt-codex-connector Bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

ℹ️ 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

Comment thread codex-rs/tui/src/bottom_pane/footer.rs Outdated
sangoi-exe added a commit to sangoi-exe/cooldex that referenced this pull request Oct 6, 2025
…a hints custom; manter indicador em modos Ctrl‑C/Esc; base nos ajustes do PR openai#4699
Comment thread codex-rs/tui/src/bottom_pane/footer.rs Outdated
Comment thread codex-rs/tui/src/bottom_pane/footer.rs Outdated
@dedrisian-oai
Copy link
Copy Markdown
Contributor Author

@codex can you please address nornagon's review comments?

@chatgpt-codex-connector
Copy link
Copy Markdown
Contributor

Summary

Testing

  • cargo test -p codex-tui

View task →

@dedrisian-oai dedrisian-oai merged commit c89229d into main Oct 8, 2025
20 checks passed
@dedrisian-oai dedrisian-oai deleted the daniel/add-context-line-permanent branch October 8, 2025 21:32
@github-actions github-actions Bot locked and limited conversation to collaborators Oct 8, 2025
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants