Re: [ jEdit-users ] undo does not clear "modified" state

[Slava P. <sp...@gj...>]

Todd Papaioannou wrote:
> What situations didn't it work properly in? I never noticed any when I
> was working. Still, it would be nicer to have this feature if it works
> 90% of the time, rather than not at all.

If jEdit included n features that worked only 90% of the time, then the
probability that all of them would work at any one time would be
0.9^n; which decreases exponentially with increasing values of n.

So no, I'm not including anything half-baked or broken.

Slava