>>> 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 ;-). Vincent
