On Sat, Jun 02, 2007 at 06:17:46PM +0200, Stefan Schimanski wrote: > Another possibility of course (which I proposed somewhere in the > other thread about the backspace case of Dov) is so redo the metrics > of the current paragraph before setting the current font again. But > then I guess they are computed twice, also during the paragraph > update later.
Whatever solution is chosren in the end, please at a 'FIXME' comment pointing to the 'real' solution. Andre'
