>>>>> "Abdelrazak" == Abdelrazak Younes <[EMAIL PROTECTED]> writes:

Abdelrazak> Stefan Schimanski wrote:
>> Hi!
>> 
>> My cursor often skips lines when moving downwards. I was trying to
>> understand the code and found this in Text2.cpp:
>> 
>> // To middle of next row int const margin = 3 *
>> InsetMathHull::displayMargin() / 2; editXY(cur, x, y +
>> pm.rows()[row].descent() + margin);
>> 
>> What is the reasoning here? Why do we take the margin of a math
>> hull in general text cursor handling?

Abdelrazak> This looks weird indeed.

Martin is the one who knows about that, I think.

JMarc

Reply via email to