# HG changeset patch
# User Glenn Morris <rgm@gnu.org>
# Date 1207814030 0
# Node ID 46ac0eab32c35878747ec4a047fd3943c071c3ec
# Parent  a482aa798185c0abc54e5e8b01b7a35f46860cb2
Revert changes included by mistake in previous commit.

diff -r a482aa798185 -r 46ac0eab32c3 src/xdisp.c
--- a/src/xdisp.c	Thu Apr 10 07:52:10 2008 +0000
+++ b/src/xdisp.c	Thu Apr 10 07:53:50 2008 +0000
@@ -12539,7 +12539,7 @@
 	    {
 	      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 @@
 		{
 		  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;
 		}
 	    }