Juerd Waalboer 4613a14a9f pager: don't scroll down for non-log ... + some code moved around in TextEditor		2022-11-01 04:48:49 +01:00
..
RevBank	pager: don't scroll down for non-log	2022-11-01 04:48:49 +01:00