On 08/08/2013 02:57 AM, Daniel J Sebald wrote:
Would anyone mind if the GUI history window scrolling to bottom in
history_dock_widget::append_history, i.e.,
_history_list_view->scrollToBottom ();
were removed? I think it is much more useful to not do that unless
perhaps the window is already scrolled to the bottom. Imagine searching
for a string of commands in history that one wants to selectively pick
through. Clicking on the first command will scroll the screen
necessitating scrolling back up to where one was. That's no fun.
It would be OK with me if it did not scroll when it is not at the
bottom. But if it is at the bottom, then new entries should be visible.
That's why I added the call to scrollToBottom. Otherwise, it seemed that
new entries were not added to the list.