changeset 93964:46ac0eab32c3

Revert changes included by mistake in previous commit.
author Glenn Morris <rgm@gnu.org>
date Thu, 10 Apr 2008 07:53:50 +0000
parents a482aa798185
children b29775f48b94
files src/xdisp.c
diffstat 1 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- 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;
 		}
 	    }