Bo Peng wrote:
I have tested that and it works fine so I committed it.
Happy Bo?
Not exactly. I spent a day on this issue (and filed WONTFIX)
Just look at the good side: you now know a lot more about metrics and I
am very happy about that.
and you
fixed it in five minutes? :-)
Georg said that everything related to unicode seems easy to him now.
It's close to be the same for me when speaking of metrics.
But let me advice you to use the step by step debugger. It helps a lot
in finding bugs like this. OK, I grant you that I knew in advance that
it was a matter of redundant update() calls but knowing where this call
was was easy to find out: I just had to put a break point at the
beginning of updateMetrics() just before resizing and voila!
Backstepping through the debugger told me that workAreaResize() was the
culprit.
Abdel.
