version 1.88, 2013/01/17 00:11:22 |
version 1.89, 2013/02/05 11:08:59 |
|
|
ws.ws_col = sx; |
ws.ws_col = sx; |
ws.ws_row = sy; |
ws.ws_row = sy; |
|
|
screen_resize(&wp->base, sx, sy); |
screen_resize(&wp->base, sx, sy, wp->saved_grid == NULL); |
if (wp->mode != NULL) |
if (wp->mode != NULL) |
wp->mode->resize(wp, sx, sy); |
wp->mode->resize(wp, sx, sy); |
|
|
|
|
* before copying back. |
* before copying back. |
*/ |
*/ |
if (sy > wp->saved_grid->sy) |
if (sy > wp->saved_grid->sy) |
screen_resize(s, sx, wp->saved_grid->sy); |
screen_resize(s, sx, wp->saved_grid->sy, 1); |
|
|
/* Restore the grid, cursor position and cell. */ |
/* Restore the grid, cursor position and cell. */ |
grid_duplicate_lines(s->grid, screen_hsize(s), wp->saved_grid, 0, sy); |
grid_duplicate_lines(s->grid, screen_hsize(s), wp->saved_grid, 0, sy); |
|
|
* the current size. |
* the current size. |
*/ |
*/ |
wp->base.grid->flags |= GRID_HISTORY; |
wp->base.grid->flags |= GRID_HISTORY; |
if (sy > wp->saved_grid->sy) |
if (sy > wp->saved_grid->sy || sx != wp->saved_grid->sx) |
screen_resize(s, sx, sy); |
screen_resize(s, sx, sy, 1); |
|
|
grid_destroy(wp->saved_grid); |
grid_destroy(wp->saved_grid); |
wp->saved_grid = NULL; |
wp->saved_grid = NULL; |