Rev 4153 | Rev 4327 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 4153 | Rev 4263 | ||
|---|---|---|---|
| Line 115... | Line 115... | ||
| 115 | void moveto(int r, int c) |
115 | void moveto(int r, int c) |
| 116 | { |
116 | { |
| 117 | console_goto(r, c); |
117 | console_goto(r, c); |
| 118 | } |
118 | } |
| 119 | 119 | ||
| 120 | static void fflush(void) |
- | |
| 121 | { |
- | |
| 122 | console_flush(); |
- | |
| 123 | } |
- | |
| 124 | - | ||
| 125 | winsize_t winsize; |
120 | winsize_t winsize; |
| 126 | 121 | ||
| 127 | static int get_display_size(winsize_t *ws) |
122 | static int get_display_size(winsize_t *ws) |
| 128 | { |
123 | { |
| 129 | return console_get_size(&ws->ws_row, &ws->ws_col); |
124 | return console_get_size(&ws->ws_row, &ws->ws_col); |
| Line 272... | Line 267... | ||
| 272 | } |
267 | } |
| 273 | } |
268 | } |
| 274 | } |
269 | } |
| 275 | if (cur_so) |
270 | if (cur_so) |
| 276 | resume_normal(); |
271 | resume_normal(); |
| 277 | fflush(); |
272 | fflush(stdout); |
| 278 | } |
273 | } |
| 279 | 274 | ||
| 280 | /* |
275 | /* |
| 281 | * Write a message (set!=0), or clear the same message (set==0). |
276 | * Write a message (set!=0), or clear the same message (set==0). |
| 282 | * (We need its length in case we have to overwrite with blanks.) |
277 | * (We need its length in case we have to overwrite with blanks.) |