513   int point_line, old_pagetop;  in set_window_pagetop()  local
527   point_line = window_line_of_point (window);  in set_window_pagetop()
528   if ((point_line < window->pagetop) ||  in set_window_pagetop()
529       ((point_line - window->pagetop) > window->height - 1))  in set_window_pagetop()
2076     int point_line = window_line_of_point (window);  in info_menu_or_ref_item()  local
2078     if (point_line != -1)  in info_menu_or_ref_item()
2083         binding.start = window->line_starts[point_line] - binding.buffer;  in info_menu_or_ref_item()
2084         if (window->line_starts[point_line + 1])  in info_menu_or_ref_item()
2085           binding.end = window->line_starts[point_line + 1] - binding.buffer;  in info_menu_or_ref_item()
2092             if (point_line)  in info_menu_or_ref_item()
4443       int desired_line, point_line;  variable
4446       point_line = window_line_of_point (window) - window->pagetop;
4459       if (desired_line == point_line)
4462       new_pagetop = window->pagetop + (point_line - desired_line);