From: Tilman G. <til...@ho...> - 2011-01-01 21:01:46
|
Dear Michael, > Maybe we should change the behaviour to reset scrolling only if the length changes? Good idea. I would however suggest to leave the decision whether to reset or not to the user, i.e. provide an additional flag in the configuration of the text widget. Thanks Tilman |