texinfo/info/session.c

512 set_window_pagetop (WINDOW *window, int desired_top)
516   if (desired_top < 0)
517     desired_top = 0;
518   else if (desired_top > window->line_count)
519     desired_top = window->line_count - 1;
521   if (window->pagetop == desired_top)
525   window->pagetop = desired_top;
541   if (old_pagetop < desired_top)
545       amount = desired_top - old_pagetop;
560       amount = old_pagetop - desired_top;
1138       int desired_top;
1145         desired_top = window->pagetop + default_window_size;
1148           desired_top = window->pagetop + (window->height - 2);
1152           if (desired_top > window->line_count)
1159         desired_top = window->pagetop + count;
1161       if (desired_top >= window->line_count)
1162         desired_top = window->line_count - 2;
1164       if (window->pagetop > desired_top)
1167         set_window_pagetop (window, desired_top);
1178       int desired_top;
1184         desired_top = window->pagetop - default_window_size;
1187           desired_top = window->pagetop - (window->height - 2);
1189           if ((desired_top < 0) && (window->pagetop == 0))
1196         desired_top = window->pagetop - count;
1198       if (desired_top < 0)
1199         desired_top = 0;
1201       set_window_pagetop (window, desired_top);
1291       int desired_top = window->pagetop + count;
1293       if (desired_top >= window->line_count)
1294 	desired_top = window->line_count - 2;
1296       if (window->pagetop <= desired_top)
1297 	set_window_pagetop (window, desired_top);
1308       int desired_top = window->pagetop - count;
1310       if (desired_top < 0)
1311 	desired_top = 0;
1313       set_window_pagetop (window, desired_top);
1327       int desired_top;
1334       desired_top = window->pagetop + scroll_size;
1335       if (desired_top >= window->line_count)
1336 	desired_top = window->line_count - 2;
1338       if (window->pagetop <= desired_top)
1339 	set_window_pagetop (window, desired_top);
1353       int desired_top;
1360       desired_top = window->pagetop - scroll_size;
1361       if (desired_top < 0)
1362 	desired_top = 0;
1364       set_window_pagetop (window, desired_top);