Searched refs:scroll_size (Results 1 – 1 of 1) sorted by relevance
1327 int scroll_size = (the_screen->height + 1) / 2; variable1333 scroll_size = default_scroll_size;1335 desired_top = window->pagetop + scroll_size;1353 int scroll_size = (the_screen->height + 1) / 2; variable1359 scroll_size = default_scroll_size;1361 desired_top = window->pagetop - scroll_size;