Re: [ jEdit-users ] replace-all feature request

[Daniel W. <the...@gm...>]

On Tuesday 07 December 2004 22:48, Chris Petersen wrote:
> Maybe I missed something in the settings, but it'd be cool if "replace
> all" popped up an info box when it was done, saying how many
> replacements were made.

no. popups are good when you need an answer from the user,
but they are a waste of time just to display some information.

daniel