Jürgen Spitzmüller wrote:
Abdelrazak Younes wrote:
Full metrics redraw in case where the "hover" feature is triggered just
after a SinglePar metric update. Look at the big FIXME in BufferView.
I'm not sure I understand. Setting updateMetrics to true there does not change
anything at least.
I am not sure we talk about the same thing :-).
I was talking about the "mouse hover feature" without any click. I
understood that the slow down appeared when you "hovered" the mouse at
the edge of an inset.
Maybe we should check if we left an inset on mouse press/release and then
update?
I don't follow you.
The metrics are updated instantly when I leave the inset with the keyboard.
Obviously an update is requested there. They are not instantly updated when I
leave the inset with the mouse. So obviously an update is request is missing
there.
You're right. I was planning to fix that someday, I am glad you did.
This is what the attached patch does. It fixes the redrawing problems for me.
It also fixes a bug AFAICS, because the update bool wasn't set.
Looks good. OK for me.
Abdel
