On Sun, Apr 09, 2006 at 02:22:43PM +0200, Lars Gullik Bjønnes wrote: > > This (dirty) patch gives paragraphs a uuid. It also changes the > session code to use this uuid, and thus the cursor can be left inside > insets and we are still able to recover the cursor position on > restart.
Aehm. Didn't we just (almost) extinguish the use of paragraph ids? Do you feel ids are a good thing? Andre'