Re: top_y() is killing us

[Jean-Marc Lasgouttes]

>>>>> "John" == John Levon <[EMAIL PROTECTED]> writes:

>> When is top_y() called?

John> Every cursor movement, click, motion ...

John> this is new stuff though

So presumably some of the "clever but annoying" stuff we had was
useful? ;)

JMarc