On Sat, Mar 27, 2004 at 02:11:16PM +0100, Alfredo Braunstein wrote: > I think it is a complete no-issue for now, as iterating over all cursor > positions of the Userguide20 is still unnoticeable (sub second) here. If it > shows up in the profiles we can do it later. I'd really prefer to have the > simplest implementation now...
Me too. 'twas just to sooth the naysayers... Andre'