[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: grob creation
From: |
Han-Wen Nienhuys |
Subject: |
Re: grob creation |
Date: |
Thu, 4 Jul 2002 17:04:15 +0200 |
address@hidden writes:
>
> > It would be technically more correct to make an accidental if there is
> > reason, and kill it off later when it is not needed, but that might
> > lead to excessive grob creation.
>
> Well, yes wouldn't that lead to spacing problems and problems with
> accidental_placement?
No. If you kill them during the interpretation phase, the formatting
code (which happens later) can be adapted to ignore or remove suicided
items again. In fact, most of the backend code should already handle
suicided items. They happen all the time when you use partcombining.
--
Han-Wen Nienhuys | address@hidden | http://www.cs.uu.nl/~hanwen/