use concurrency for rebuilding search list after deletion so we don't block main thread on very, very large files

2025-08-07 12:20:57 +01:00
parent fab8cfcf20
commit 704854c80f
10 changed files with 220 additions and 137 deletions
--- a/shf.mlb
+++ b/shf.mlb
@@ -47,6 +47,7 @@ in
 end

 shell/exception-logger.sml
+shell/search-thread.sml
 shell/update-thread.sml
 shell/gl-shaders.sml
 shell/gl-draw.sml