>>>>> "Martin" == Martin Vermeer <[EMAIL PROTECTED]> writes:
>> - do any font change (e.g. C-b) ==> crash Martin> No it doesn't. Not with this fix. I understand that. However, what happens if ditend is deeper than dit? What happens if they are as deep but in two different insets? JMarc
