>>>>> You can't do much about its size, but you could adapt the painting. >>>>> See the attached patch. >>>>> >>>> This looks perfect. Please put it in. >>>> >>> I've put it in now although it was not my patch. I hope this is OK >>> nevertheless in this case. >>> >> >> I was still doubting whether BufferView would be the correct place to
>> make the difference between different types of workareas. Somehow, I >> didn't really like it. Well, if someone complains now, I'll just blame >> you ;-). >> > >I am probably going to complain.... Still needs to read the tons of >mails though... going to take a few days... It wasn't me. ;-) >Abdel. Vincent
