Minor simplification in tui_default_win_viewport_height