Re: Enfiladealigner (was: Re: [Gzz] Ids)

[Tuomas Lukka]

> No, I mean: StringSearchers are a functionality that can be completely 
> independent of Gzz, and therefore should. If someone needs a string 
> searching functionality in Java and likes the heuristics of ours, they 
> should be able to take it & use it. I think the current interface (which 
> doesn't know about gzz.*) is very nice for that reason.

Aaaahh. Ok. Well, then a simple adapter knowing about deltas is just fine.

> >>>Of course, one point I'll be adamant about: the stringsearcher hook
> >>>MUST be run *after* the animation: it's too slow as it is.
> >>>
> >>It's too slow as it is because it re-builds the *whole* StringSearcher. 
> >
> >No, I mean even incrementally.
> 
> Incrementally isn't "as it is" ;-)

I understood. I meant: even at the point when it IS done
incrementally it's still supposed to come after showing the user
the screen.

        Tuomas