>>>>> "Juergen" == Juergen Vigna <[EMAIL PROTECTED]> writes:
Juergen> For all of you who didn't look at it in short it does leave Juergen> the Paragraph (Character) Params unchanged when copiing them Juergen> inside an ERT and ONLY the display is changed. This is done Juergen> by calling a function which changes the Font of the chars Juergen> when they are drawed on screen. Juergen> Anyway all of you should already have had a look at the patch Juergen> and tried it out. So if I don't get any serious complaints I Juergen> will commit my tree soon! I did not have time to actually try it out, but as I said in bug 143, you should really rename getFontSettings to something else because it does not have the same semantics as the other getFontSettings. What about adaptFont or filterFont? And what is this HARD_FONTS thing? Could you clean it up before commiting? As it stands the code is a bit difficult to follow. JMarc
