On Wed, Apr 06, 2005 at 03:38:52PM +0200, Jean-Marc Lasgouttes wrote: > >>>>> "Martin" == Martin Vermeer <[EMAIL PROTECTED]> writes: > > Martin> Hmmm, it might be nice to enable END at the last position to > Martin> exit the parentheses. Opinions? > > Or rather to dispatch the END to the enclosing inset.
I.e. 'finished right' + 'undispatched' should do the trick. Andre'
