Searched refs:scroll_size (Results 1 – 1 of 1) sorted by relevance
1325 int scroll_size = (the_screen->height + 1) / 2; variable1331 scroll_size = default_scroll_size;1333 desired_top = window->pagetop + scroll_size;1351 int scroll_size = (the_screen->height + 1) / 2; variable1357 scroll_size = default_scroll_size;1359 desired_top = window->pagetop - scroll_size;