>>>>> "John" == John Levon <[EMAIL PROTECTED]> writes:
John> On Tue, Jul 30, 2002 at 12:08:33PM +0200, Jean-Marc Lasgouttes John> wrote: Now you're making a double comparison without an epsilon John> ... that's not reliable. We have a float_equals<> somewhere >> No, because what we want to detect is repetition of identical >> events. This corresponds to the same position of the scrollbar, >> doesn't it? John> Well if two things change internally, but the final result is John> the "same", we shouldn't be firing off. But I admit it doesn't John> matter in this context. John> We should have a clear comment for this though. Actually, I did not (yet) apply your patch to 1.2.x because I would like to make sure that it is not related to the bad repaint complaints that we have been having recently. That's why I would appreciate if you could take a quick look and tell me hether there is such a risk. JMarc
