|
From: | John W. Eaton |
Subject: | Re: History window scrolling after command is issued |
Date: | Thu, 08 Aug 2013 10:01:18 -0400 |
User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:10.0.12) Gecko/20130116 Icedove/10.0.12 |
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.
jwe
[Prev in Thread] | Current Thread | [Next in Thread] |