Files
codex/codex-rs/tui
T
charley-oai be9e55c5fc Add total (non-partial) TextElement placeholder accessors (#9545)
## Summary
- Make `TextElement` placeholders private and add a text-backed accessor
to avoid assuming `Some`.
- Since they are optional in the protocol, we want to make sure any
accessors properly handle the None case (getting the placeholder using
the byte range in the text)
- Preserve placeholders during protocol/app-server conversions using the
accessor fallback.
- Update TUI composer/remap logic and tests to use the new
constructor/accessor.
be9e55c5fc ยท 2026-01-20 14:04:11 -08:00
History
..
2025-09-15 00:42:53 -07:00
2025-08-18 16:02:25 +00:00