9507 |
amount_to_scroll = scroll_max; |
amount_to_scroll = scroll_max; |
9508 |
else |
else |
9509 |
{ |
{ |
9510 |
aggressive = current_buffer->scroll_down_aggressively; |
aggressive = current_buffer->scroll_up_aggressively; |
9511 |
height = (WINDOW_DISPLAY_HEIGHT_NO_MODE_LINE (w) |
height = (WINDOW_DISPLAY_HEIGHT_NO_MODE_LINE (w) |
9512 |
- WINDOW_DISPLAY_HEADER_LINE_HEIGHT (w)); |
- WINDOW_DISPLAY_HEADER_LINE_HEIGHT (w)); |
9513 |
if (NUMBERP (aggressive)) |
if (NUMBERP (aggressive)) |
9561 |
amount_to_scroll = scroll_max; |
amount_to_scroll = scroll_max; |
9562 |
else |
else |
9563 |
{ |
{ |
9564 |
aggressive = current_buffer->scroll_up_aggressively; |
aggressive = current_buffer->scroll_down_aggressively; |
9565 |
height = (WINDOW_DISPLAY_HEIGHT_NO_MODE_LINE (w) |
height = (WINDOW_DISPLAY_HEIGHT_NO_MODE_LINE (w) |
9566 |
- WINDOW_DISPLAY_HEADER_LINE_HEIGHT (w)); |
- WINDOW_DISPLAY_HEADER_LINE_HEIGHT (w)); |
9567 |
if (NUMBERP (aggressive)) |
if (NUMBERP (aggressive)) |