Searched refs:already_scrolled (Results 1 – 1 of 1) sorted by relevance
530 int already_scrolled = 0; in display_scroll_line_starts() local570 + ((old + already_scrolled) - old_pagetop)); in display_scroll_line_starts()571 amount = new - (old + already_scrolled); in display_scroll_line_starts()587 already_scrolled += amount; in display_scroll_line_starts()