[ jEdit-users ] Way To Stop Directory Search ??

[David G <jam...@gm...>]

I started a search through a directory that had many more files than I
realized.

It's taking forever.

Is there a way to stop or cancel the search?

-- 
Sent from my mobile device