>>>>> "Juergen" == Juergen Spitzmueller <[EMAIL PROTECTED]> writes:
Juergen> Jean-Marc Lasgouttes wrote: I do not understand this, sorry. >> Forget about all this. Let's get it to work first :) Juergen> Feel free to explain. You know, the devel-language Juergen> (develeranto) is sometimes like chinese to me. But as a Juergen> linguist in profession, I'm always interested in foreign Juergen> languages (in particular, if they are spoken by a community Juergen> separatated from the rest of the world ;-)) I was concerned that we would reconstruct needlessly the fontsize list when updating the popup. But, then, who cares about this? Juergen> Patch attached. Thanks for your education. Juergen. I'll apply it. Thanks for bearing with my annoying remarks. While they may have educational value (?), I am aware that some of them were just nitpicking... JMarc
