# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 1085263884 0
# Node ID cf63ed17e21cae145755b74dec6b6514fbfc07f5
# Parent  69dcc9afcf6f2a02273c28f1ee97d576a41ff8f9
(try_scrolling): If scroll-up-aggressively or scroll-down-aggressively
is small but positive, put point near the screen edge.

diff -r 69dcc9afcf6f -r cf63ed17e21c src/xdisp.c
--- a/src/xdisp.c	Sat May 22 22:08:36 2004 +0000
+++ b/src/xdisp.c	Sat May 22 22:11:24 2004 +0000
@@ -11002,7 +11002,12 @@
 	  aggressive = current_buffer->scroll_up_aggressively;
 	  height = WINDOW_BOX_TEXT_HEIGHT (w);
 	  if (NUMBERP (aggressive))
-	    amount_to_scroll = XFLOATINT (aggressive) * height;
+	    {
+	      double float_amount = XFLOATINT (aggressive) * height;
+	      amount_to_scroll = float_amount;
+	      if (amount_to_scroll == 0 && float_amount > 0)
+		amount_to_scroll = 1;
+	    }
 	}
 
       if (amount_to_scroll <= 0)
@@ -11060,7 +11065,12 @@
 	      aggressive = current_buffer->scroll_down_aggressively;
 	      height = WINDOW_BOX_TEXT_HEIGHT (w);
 	      if (NUMBERP (aggressive))
-		amount_to_scroll = XFLOATINT (aggressive) * height;
+		{
+		  double float_amount = XFLOATINT (aggressive) * height;
+		  amount_to_scroll = float_amount;
+		  if (amount_to_scroll == 0 && float_amount > 0)
+		    amount_to_scroll = 1;
+		}
 	    }
 
 	  if (amount_to_scroll <= 0)