Vincent van Ravesteijn - TNW wrote:
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...
Abdel.
