Files
codex/codex-rs/tui/src
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.
2026-01-20 14:04:11 -08:00
..
2026-01-14 12:51:42 -08:00
2025-09-15 00:42:53 -07:00
2025-08-05 04:23:22 +00:00
2025-12-18 10:59:53 -08:00
2026-01-06 18:02:05 +00:00
2025-09-30 00:10:04 +00:00