| 9612 | int output_bottom; |
| 9613 | int prompt_row; |
| 9614 | int reserved_rows; |
| 9615 | bool output_cursor_saved; |
| 9616 | bool output_at_scroll_boundary; |
| 9617 | double last_prompt_redraw_time; |
| 9618 | char cpr_buf[32]; |
| 9619 | size_t cpr_len; |
| 9620 | bool paste_open; |
| 9621 | bool paste_start_pending; |
| 9622 | char paste_tail[6]; |
| 9623 | size_t paste_tail_len; |
| 9624 | } agent_editor; |
| 9625 | |
| 9626 | static void editor_queue_bytes(agent_editor *ed, const char *buf, size_t len); |
| 9627 | static void editor_hide(agent_editor *ed); |
| 9628 | static void editor_show(agent_editor *ed); |
| 9629 | |
| 9630 | typedef enum { |
| 9631 | CPR_INVALID, |
| 9632 | CPR_PARTIAL, |
| 9633 | CPR_COMPLETE, |
| 9634 | } cpr_state; |
no test coverage detected