>>>>> "Martin" == Martin Vermeer <[EMAIL PROTECTED]> writes:
>> I did not try the other part. Martin> But that's the actual bug fix! This part is just cosmetic (and Martin> I have no strong feelings on it, except that the blue line Martin> might be confusing for some users.) I know :) But I do not have much time right now. And it is for 1.4.1, right? JMarc
