Andre Poenitz <[EMAIL PROTECTED]> writes: | On Wed, Oct 29, 2003 at 01:07:44PM +0100, Lars Gullik Bjønnes wrote: >> >> Can someone (Andre), please explain do me what DISPATCHED_POP is used >> for? > | The inset has handled the request, but the the cursor must leave the | inset now.
Ok, in what way is this different from FINISHED?
--
Lgb
