HomeSort by: relevance | last modified time | path
    Searched defs:desired_top (Results 1 - 1 of 1) sorted by relevancy

  /src/external/gpl2/texinfo/dist/info/
session.c 511 /* Change the pagetop of WINDOW to DESIRED_TOP, perhaps scrolling the screen
514 set_window_pagetop (WINDOW *window, int desired_top)
518 if (desired_top < 0)
519 desired_top = 0;
520 else if (desired_top > window->line_count)
521 desired_top = window->line_count - 1;
523 if (window->pagetop == desired_top)
527 window->pagetop = desired_top;
543 if (old_pagetop < desired_top)
547 amount = desired_top - old_pagetop
1139 int desired_top; local
1179 int desired_top; local
1292 int desired_top = window->pagetop + count; local
1309 int desired_top = window->pagetop - count; local
1328 int desired_top; local
1354 int desired_top; local
    [all...]

Completed in 18 milliseconds