12830 |
if (check_margins |
if (check_margins |
12831 |
&& !MINI_WINDOW_P (w)) |
&& !MINI_WINDOW_P (w)) |
12832 |
{ |
{ |
12833 |
int this_scroll_margin, cursor_height; |
int this_scroll_margin; |
12834 |
|
|
12835 |
this_scroll_margin = max (0, scroll_margin); |
this_scroll_margin = max (0, scroll_margin); |
12836 |
this_scroll_margin = min (this_scroll_margin, WINDOW_TOTAL_LINES (w) / 4); |
this_scroll_margin = min (this_scroll_margin, WINDOW_TOTAL_LINES (w) / 4); |
12837 |
this_scroll_margin *= FRAME_LINE_HEIGHT (it.f); |
this_scroll_margin *= FRAME_LINE_HEIGHT (it.f); |
|
cursor_height = MATRIX_ROW (w->desired_matrix, w->cursor.vpos)->height; |
|
12838 |
|
|
12839 |
if ((w->cursor.y < this_scroll_margin |
if ((w->cursor.y < this_scroll_margin |
12840 |
&& CHARPOS (pos) > BEGV) |
&& CHARPOS (pos) > BEGV) |