Jean-Marc Lasgouttes wrote: > Yes, but this is not safe if there insets in the paragraph before lastp, > I think.
Ah, you are right. I overlooked that. > Here is a simpler try that does mostly what you propose, but uses > forwardPos() to do the hard work. I kept the old code around (see the > #if 0) to be able to compare the results with the old slow method. > > I will continue some testing, but basically it sees to work. I played a bit with it and it indeed seems to work. It is still somewhat slow, but I think it is acceptable now. I noticed one problem that is present with or without this patch: I was typing some random characters somewhere in the userguide. Suddenly, they would not appear on screen any more, and the cursor would remain blinking at the last position where it worked. Sometimes, the characters would start to appear agin after a while (while I still type), and sometimes I would need to move the cursor with the mouse before they appear again. Strange. Georg
