[PATCH] Ensure rl_get_screen_size() returns the actual terminal dimensions

[Pedro Alves]

On 09/01/2014 02:25 AM, Patrick Palka wrote:
> We should call rl_resize_terminal() before calling rl_get_screen_size()
> to help ensure that rl_get_screen_size() will return the correct
> terminal dimensions.  Doing so fixes a couple issues where TUI does not
> correctly resize itself due to rl_get_screen_size() returning stale
> terminal dimensions.
> 
> 	* tui/tui-win.c (tui_resize_all): Call rl_resize_terminal before
> 	calling rl_get_screen_size.

OK.

Thanks,
Pedro Alves