# HG changeset patch
# User John W. Eaton <jwe@octave.org>
# Date 1346957870 14400
# Node ID 117966ca93be6e432c9c0b9e6b7b94502523cfae
# Parent  d7514add71e2d65d297e6a4c64ad4e597c0a3015
back off on history scrolling change

* history-dockwidget.cc (history_dock_widget::event_accepted):
Don't force scrolling to the bottom of the list.

diff -r d7514add71e2 -r 117966ca93be libgui/src/history-dockwidget.cc
--- a/libgui/src/history-dockwidget.cc	Thu Sep 06 11:44:24 2012 -0700
+++ b/libgui/src/history-dockwidget.cc	Thu Sep 06 14:57:50 2012 -0400
@@ -63,7 +63,13 @@
             }
         }
 
-      _history_list_view->scrollToBottom ();
+      // FIXME -- how to make the widget scroll to the bottom when an
+      // item is added, but leave it alone if the user has moved it
+      // somewhere other than the bottom of the list?  The following
+      // doesn't seem to work.  It forces to the widget to always scroll
+      // to the bottom, even if no items are added.
+      //
+      // _history_list_view->scrollToBottom ();
     }
 
   // Post a new update event in a given time. This prevents flooding the