On Tue, Feb 03, 2004 at 06:08:55PM +0100, Andre' Poenitz wrote: > + // Note that the 'current_' index can be changed by some > + // inset::dispatch by e.g. calling 'pop'. This is e.g. > + // necessary for moving the cursor out of some deeply nested > + // inset in a collapsable inset while collapsing the inset.
Grr... ignore that comment.
