diff options
author | Glenn Morris <[email protected]> | 2008-04-10 07:53:50 +0000 |
---|---|---|
committer | Glenn Morris <[email protected]> | 2008-04-10 07:53:50 +0000 |
commit | 4ef65ef932041bfef43fb69b64adfc7bc71a565b (patch) | |
tree | 34134002552d36426670fda72af54919f1a5bc10 /src | |
parent | eda0be5a2c35ef3bcb0c1d11e2324fa7e90d1ef8 (diff) |
Revert changes included by mistake in previous commit.
Diffstat (limited to 'src')
-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 a64a6b2e85..1f8b35a1d3 100644 --- a/src/xdisp.c +++ b/src/xdisp.c @@ -12539,7 +12539,7 @@ try_scrolling (window, just_this_one_p, scroll_conservatively, { double float_amount = XFLOATINT (aggressive) * height; amount_to_scroll = float_amount; - if (amount_to_scroll == 0 && float_amount >= 0) + if (amount_to_scroll == 0 && float_amount > 0) amount_to_scroll = 1; } } @@ -12602,7 +12602,7 @@ try_scrolling (window, just_this_one_p, scroll_conservatively, { double float_amount = XFLOATINT (aggressive) * height; amount_to_scroll = float_amount; - if (amount_to_scroll == 0 && float_amount >= 0) + if (amount_to_scroll == 0 && float_amount > 0) amount_to_scroll = 1; } } |