I changed the title to describe the request rather than the problem it addresses (was “Unnecessary full reindexing at each keystroke causing out-of-memory crashes on large files”).
1 Like
I changed the title to describe the request rather than the problem it addresses (was “Unnecessary full reindexing at each keystroke causing out-of-memory crashes on large files”).