Closed this issue 9 years ago · 1 comments
Either use a Zipper-like Buffer (as for the results list), or switch to something like mmap.
Jumping to a line in a big file still takes time proportional to the number of lines skipped, but at least navigation is smooth after that. Maybe switch to mmap.
mmap