Files
codex/codex-rs/tui/src
Jeremy Rose fd2b059504 text elements in textarea for pasted content (#2302)
This improves handling of pasted content in the textarea. It's no longer
possible to partially delete a placeholder (e.g. by ^W or ^D), nor is it
possible to place the cursor inside a placeholder. Also, we now render
placeholders in a different color to make them more clearly
differentiated.


https://github.com/user-attachments/assets/2051b3c3-963d-4781-a610-3afee522ae29
2025-08-14 20:58:51 +00:00
..
2025-08-12 17:37:28 -07:00
2025-07-31 00:06:55 +00:00
2025-08-14 14:10:05 -04:00
2025-08-14 14:10:05 -04:00
2025-08-05 04:23:22 +00:00
2025-08-06 18:22:14 -04:00
2025-08-12 17:37:28 -07:00
2025-08-08 10:57:16 -07:00
2025-08-12 15:35:20 -07:00