11294 |
window_height = window_box_height (w); |
window_height = window_box_height (w); |
11295 |
if (row->height >= window_height) |
if (row->height >= window_height) |
11296 |
{ |
{ |
11297 |
if (!force_p || w->vscroll) |
if (!force_p || MINI_WINDOW_P (w) || w->vscroll) |
11298 |
return 1; |
return 1; |
11299 |
} |
} |
11300 |
return 0; |
return 0; |
12729 |
} |
} |
12730 |
|
|
12731 |
/* Don't let the cursor end in the scroll margins. */ |
/* Don't let the cursor end in the scroll margins. */ |
12732 |
if (check_margins) |
if (check_margins |
12733 |
|
&& !MINI_WINDOW_P (w)) |
12734 |
{ |
{ |
12735 |
int this_scroll_margin, cursor_height; |
int this_scroll_margin, cursor_height; |
12736 |
|
|