[ jEdit-devel ] [ jedit-Bugs-432959 ] no abort for "search in dir"

[<no...@so...>]

Bugs item #432959, was updated on 2001-06-13 18:11
You can respond by visiting: 
http://sourceforge.net/tracker/?func=detail&atid=100588&aid=432959&group_id=588

Category: search and replace
Group: normal bug
>Status: Closed
>Resolution: Invalid
Priority: 5
Submitted By: Marcin Orlowski (carl-os)
Assigned to: Nobody/Anonymous (nobody)
>Summary: no abort for "search in dir"

Initial Comment:
Closing "Search in dir" result window while the search
is in progress should abort the operation (currently it
seems the search is going). So please expand that
function with: "Abort" button in window. And if the
window has been closed while search is running, maybe
reopening the window when search is done isn't bad idea
(especially on long lasting searches)

----------------------------------------------------------------------

>Comment By: Slava Pestov (spestov)
Date: 2001-06-15 18:49

Message:
Logged In: YES 
user_id=2280

abort the operation in utilities->io progress monitor.

----------------------------------------------------------------------

You can respond by visiting: 
http://sourceforge.net/tracker/?func=detail&atid=100588&aid=432959&group_id=588