diff options
| -rw-r--r-- | src/xdisp.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/xdisp.c b/src/xdisp.c index a64a6b2e854..1f8b35a1d3a 100644 --- a/src/xdisp.c +++ b/src/xdisp.c | |||
| @@ -12539,7 +12539,7 @@ try_scrolling (window, just_this_one_p, scroll_conservatively, | |||
| 12539 | { | 12539 | { |
| 12540 | double float_amount = XFLOATINT (aggressive) * height; | 12540 | double float_amount = XFLOATINT (aggressive) * height; |
| 12541 | amount_to_scroll = float_amount; | 12541 | amount_to_scroll = float_amount; |
| 12542 | if (amount_to_scroll == 0 && float_amount >= 0) | 12542 | if (amount_to_scroll == 0 && float_amount > 0) |
| 12543 | amount_to_scroll = 1; | 12543 | amount_to_scroll = 1; |
| 12544 | } | 12544 | } |
| 12545 | } | 12545 | } |
| @@ -12602,7 +12602,7 @@ try_scrolling (window, just_this_one_p, scroll_conservatively, | |||
| 12602 | { | 12602 | { |
| 12603 | double float_amount = XFLOATINT (aggressive) * height; | 12603 | double float_amount = XFLOATINT (aggressive) * height; |
| 12604 | amount_to_scroll = float_amount; | 12604 | amount_to_scroll = float_amount; |
| 12605 | if (amount_to_scroll == 0 && float_amount >= 0) | 12605 | if (amount_to_scroll == 0 && float_amount > 0) |
| 12606 | amount_to_scroll = 1; | 12606 | amount_to_scroll = 1; |
| 12607 | } | 12607 | } |
| 12608 | } | 12608 | } |