Searched refs:new_pagetop (Results 1 – 1 of 1) sorted by relevance
582 int new_pagetop; in info_show_point() local584 new_pagetop = window->pagetop; in info_show_point()586 set_window_pagetop (window, new_pagetop); in info_show_point()3723 int new_pagetop; in info_search_1() local3725 new_pagetop = active_window->pagetop; in info_search_1()3727 set_window_pagetop (active_window, new_pagetop); in info_search_1()4444 int new_pagetop; variable4462 new_pagetop = window->pagetop + (point_line - desired_line);4464 set_window_pagetop (window, new_pagetop);