Re: [ jEdit-devel ] [jedit:bugs] #4135 Slow HyperSearch Performance on macOS with Large Files and Queries

[Makarius <mak...@sk...>]

On 14/08/2024 19:33, Matthew Orzewalla via jEdit-devel wrote:
> 
> Just to be sure, I checked Isabelle2024 again and it returned the 15,733 
> hypersearch results very quickly, as expected.
> 
> Also, I tried to find mention of a patch to Isabelle that would affect 
> hyperseach here: https://isabelle-dev.sketis.net/source/isabelle 
> <https://isabelle-dev.sketis.net/source/isabelle>, but did not find anything 
> that stood out.

Just a side remark concerning Isabelle/jEdit:

   * The main source of patches is here: 
https://isabelle-dev.sketis.net/source/isabelle/browse/default/src/Tools/jEdit/patches

     Patch file-names provide an idea of the purpose, and further details are 
in the repository changelog for these files.

   * The effective patch is automatically generated againts the original 
sources, e.g. see Isabelle2024/contrib/jedit-20240425/jedit5.6.0.patch

     Details are in the Isabelle/Scala program that produces the derivative 
version of jEdit: 
https://isabelle-dev.sketis.net/source/isabelle/browse/default/src/Pure/Admin/component_jedit.scala


Concerning the HyperSearch question, I can't remember doing anything special 
wrt. jEdit 5.6, and I did not try 5.7 yet.


	Makarius