On Wed, Jun 13, 2018 at 12:05:38PM +0200, Arie van Wingerden wrote: > Of course it *is* useful, however, reading it is very tedious, not the > least because every time you wish to open a sub paragraph, the page "jumps" > to the top.
It is intended to be opened and closed while browsing, so normally I do not get to a point where it is larger than the screen size so that it jumps. ♪♫ Alex -- UNSUBSCRIBE: mailto:picolisp@software-lab.de?subject=Unsubscribe