Skip to content

Add external prompt editor shortcut - #524

Open
gachikuku wants to merge 1 commit into
huggingface:mainfrom
gachikuku:feat/external-prompt-editor
Open

Add external prompt editor shortcut#524
gachikuku wants to merge 1 commit into
huggingface:mainfrom
gachikuku:feat/external-prompt-editor

Conversation

@gachikuku

Copy link
Copy Markdown

Summary

  • add a Pi-style external prompt editor action, bound to Alt+E by default
  • resolve the editor from $VISUAL, then $EDITOR, with platform fallbacks
  • suspend Textual while the editor owns the terminal and restore the edited prompt only after a successful exit
  • expose the remappable external_editor keybinding in ~/.tau/tui.json
  • preserve large-paste content, clean up temporary Markdown files, and document the workflow

Testing

  • uv run pytest -q — 1295 passed, 2 skipped
  • uv run ruff check .
  • uv run ruff format --check .
  • uv run mypy src

@gachikuku
gachikuku requested a review from alejandro-ao as a code owner August 1, 2026 14:35
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant