Skip to content

Conversation

@JaviSoto
Copy link
Contributor

@JaviSoto JaviSoto commented Oct 21, 2025

codex-ctrl-c-up-arrow.mov

Copy link
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 "@codex address that feedback".

@JaviSoto JaviSoto force-pushed the dev/javi/undo-clear-prompt branch from c12b093 to bd2345d Compare October 21, 2025 21:44
@JaviSoto JaviSoto changed the title feat: add ctrl+shift+z to undo clearing prompt after ctrl+c feat: add text cleared with ctrl+c to the history so it can be recovered with up arrow Oct 21, 2025
if let Some(text) = replace_text {
self.textarea.set_text(&text);
self.textarea.set_cursor(0);
self.set_text_content(text);
Copy link
Collaborator

Choose a reason for hiding this comment

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

I assume this was intentional right?

Copy link
Contributor Author

Choose a reason for hiding this comment

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

Yeah, but also not required, not sure if there was a reason why we were doing that manually and not doing the rest of things that set_text_content does

@JaviSoto JaviSoto merged commit db7eb9a into main Oct 21, 2025
20 checks passed
@JaviSoto JaviSoto deleted the dev/javi/undo-clear-prompt branch October 21, 2025 23:45
@github-actions github-actions bot locked and limited conversation to collaborators Oct 21, 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