On 10/12/2012 12:37 AM, Stefan Monnier wrote:

> Should be fixed now, thanks

As for the O(N^2) loop in delete_all_overlays,
what do you think about the fix attached?

Dmitry