* refresh window content */
| 131 | * refresh window content |
| 132 | */ |
| 133 | static void refresh_text_box(WINDOW *dialog, WINDOW *box, int boxh, int boxw, |
| 134 | int cur_y, int cur_x) |
| 135 | { |
| 136 | start = page - buf; |
| 137 | |
| 138 | print_page(box, boxh, boxw); |
| 139 | print_position(dialog); |
| 140 | wmove(dialog, cur_y, cur_x); /* Restore cursor position */ |
| 141 | wrefresh(dialog); |
| 142 | |
| 143 | end = page - buf; |
| 144 | } |
| 145 | |
| 146 | /* |
| 147 | * Display text from a file in a dialog box. |
no test coverage detected