texinfo/info/session.c

338 /* Reset the remembered pagetop and point of WINDOW to WINDOW's current
354       info_win->pagetops[info_win->current] = window->pagetop;
381   /* If this node, the current pagetop, and the current point are the
382      same as the current saved node and pagetop, don't really add this to
388       && info_win->pagetops[info_win->current] == window->pagetop
392   /* Remember this node, the currently displayed pagetop, and the current
408   info_win->pagetops[info_win->nodes_index] = window->pagetop;
511 /* Change the pagetop of WINDOW to DESIRED_TOP, perhaps scrolling the screen
523   if (window->pagetop == desired_top)
526   old_pagetop = window->pagetop;
527   window->pagetop = desired_top;
531   if ((point_line < window->pagetop) ||
532       ((point_line - window->pagetop) > window->height - 1))
534       window->line_starts[window->pagetop] - window->node->contents;
581   old_pagetop = window->pagetop;
583   if (old_pagetop != window->pagetop)
587       new_pagetop = window->pagetop;
588       window->pagetop = old_pagetop;
987                   window->pagetop = info_win->pagetops[old_current];
1147         desired_top = window->pagetop + default_window_size;
1150           desired_top = window->pagetop + (window->height - 2);
1161         desired_top = window->pagetop + count;
1166       if (window->pagetop > desired_top)
1186         desired_top = window->pagetop - default_window_size;
1189           desired_top = window->pagetop - (window->height - 2);
1191           if ((desired_top < 0) && (window->pagetop == 0))
1198         desired_top = window->pagetop - count;
1275   window->pagetop = window->point = 0;
1293       int desired_top = window->pagetop + count;
1298       if (window->pagetop <= desired_top)
1310       int desired_top = window->pagetop - count;
1336       desired_top = window->pagetop + scroll_size;
1340       if (window->pagetop <= desired_top)
1362       desired_top = window->pagetop - scroll_size;
1471   int pagetop;
1473   /* Remember the current pagetop of the window being split.  If it doesn't
1475   pagetop = window->pagetop;
1491       if (pagetop == window->pagetop)
1534       split->pagetop = window->pagetop;
1592   int pagetop, start, end;
1596   pagetop = window->pagetop;
1627       amount -= (window->pagetop - pagetop);
1829               info_win->pagetops[info_win->current] = window->pagetop;
3016       int which, pagetop;
3044         pagetop = stealer->pagetops[which];
3059       window->pagetop = pagetop;
3412    the found string, and readjust the window's pagetop.  Final argument
3724   old_pagetop = active_window->pagetop;
3731   else if (old_pagetop != active_window->pagetop)
3735       new_pagetop = active_window->pagetop;
3736       active_window->pagetop = old_pagetop;
4155               (mystate.pagetop != window->pagetop))
4157               int newtop = window->pagetop;
4158               window->pagetop = mystate.pagetop;
4418     line = (window->height / 2) + window->pagetop;
4422         line = (window->height + count) + window->pagetop;
4424         line = window->pagetop + count;
4428   if ((line - window->pagetop) >= window->height)
4429     line = window->pagetop + (window->height - 1);
4432   if (line < window->pagetop)
4433     line = window->pagetop;
4458       point_line = window_line_of_point (window) - window->pagetop;
4474       new_pagetop = window->pagetop + (point_line - desired_line);