jEdit / Patches / #467 HyperSearchRequest

#467 HyperSearchRequest - Some ideas

Status: open

Owner: Matthieu Casanova

Labels: None

Priority: 5

Updated: 2013-02-07

Created: 2012-11-10

Creator: Thomas Meyer

Private: No

Hi,

attached patch does implement some ideas I had to improve the speed of the search. the patch seems to work, but still have some rough edges. I didn't make measurements yet. I provide the code here, so everybody could have a look at it.

Feedback and measurements are welcome!

Discussion

Thomas Meyer - 2012-11-10

v1

Make-Directory-walk-parallel-and-misc-fixes.patch

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Alan Ezust - 2013-02-07

assigned_to: nobody --> kpouer
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

HyperSearchRequest - Some ideas

jEdit is a programmer's text editor written in Java.

Group

Searches

Help

#467 HyperSearchRequest - Some ideas

Discussion