[Monodevelop-patches-list] r2265 - in trunk/MonoDevelop/Core/src/AddIns/DisplayBindings/SourceEditor: . Gui

[John Luke <jluke@cfl.rr.com>]

Author: jluke
Date: 2005-02-22 23:05:15 -0500 (Tue, 22 Feb 2005)
New Revision: 2265

Modified:
   trunk/MonoDevelop/Core/src/AddIns/DisplayBindings/SourceEditor/ChangeLog
   trunk/MonoDevelop/Core/src/AddIns/DisplayBindings/SourceEditor/Gui/SourceEditorView.cs
Log:
fix a little stutter issue


Modified: trunk/MonoDevelop/Core/src/AddIns/DisplayBindings/SourceEditor/ChangeLog
===================================================================
--- trunk/MonoDevelop/Core/src/AddIns/DisplayBindings/SourceEditor/ChangeLog	2005-02-22 02:39:55 UTC (rev 2264)
+++ trunk/MonoDevelop/Core/src/AddIns/DisplayBindings/SourceEditor/ChangeLog	2005-02-23 04:05:15 UTC (rev 2265)
@@ -1,3 +1,8 @@
+2005-02-22  John Luke  <john.luke at gmail.com>
+
+	* Gui/SourceEditorView.cs (ScrollDown): don't change the
+	value above maxvalue, fixes a little stutter I noticed
+
 2005-02-12  Christian Hergert <christian.hergert at gmail.com>
 
 	* Gui/SourceEditorBuffer.cs: Changed to DllImport the .dll rather

Modified: trunk/MonoDevelop/Core/src/AddIns/DisplayBindings/SourceEditor/Gui/SourceEditorView.cs
===================================================================
--- trunk/MonoDevelop/Core/src/AddIns/DisplayBindings/SourceEditor/Gui/SourceEditorView.cs	2005-02-22 02:39:55 UTC (rev 2264)
+++ trunk/MonoDevelop/Core/src/AddIns/DisplayBindings/SourceEditor/Gui/SourceEditorView.cs	2005-02-23 04:05:15 UTC (rev 2265)
@@ -257,10 +257,12 @@
 
 		void ScrollDown () {
 			double maxvalue = ParentEditor.Vadjustment.Upper - ParentEditor.Vadjustment.PageSize;
+			double newvalue = ParentEditor.Vadjustment.Value + (ParentEditor.Vadjustment.StepIncrement / 5);
 
-			ParentEditor.Vadjustment.Value += (ParentEditor.Vadjustment.StepIncrement / 5);
-			if (ParentEditor.Vadjustment.Value > maxvalue)
+			if (newvalue > maxvalue)
 				ParentEditor.Vadjustment.Value = maxvalue;
+			else
+				ParentEditor.Vadjustment.Value = newvalue;
 
 			ParentEditor.Vadjustment.ChangeValue();
 		}