terminal: handle size when switching buffers in window

This commit is contained in:
Björn Linse
2019-01-26 12:37:38 +01:00
parent 2ab70cb55c
commit 30bd1c1e85
8 changed files with 76 additions and 30 deletions

View File

@@ -453,7 +453,7 @@ void ui_grid_resize(handle_T grid_handle, int width, int height, Error *error)
}
// non-positive indicates no request
wp->w_height_request = (int)MAX(height,0);
wp->w_width_request = (int)MAX(width,0);
wp->w_height_request = (int)MAX(height, 0);
wp->w_width_request = (int)MAX(width, 0);
win_set_inner_size(wp);
}