Bo Peng wrote:
Bo, is that OK for you?Sorry Bo, I did not wait because my fix to bug 3427 needed this one. I hope you don't mind, this is just cosmetics (apart for the font bug fixing).Test 3171 and see if you need to re-open that bug.
I tested it and found no problem. But I did not expect problem anyway because there is no cursor saving on buffer-switch anymore. This was the very first reason for the "one BV/one Buffer" transition.
Abdel.
