in reply to Displaying/buffering huge text files
When the user scrolls the widget to a point outside the current mapping window, remap the scalar to the appropriate offset in the file. Assuming that it actually works, it ought to be pretty fast, and could probably be built into a callback function from the scroller widget.
(Unless of course you happen to be using a system that doesn't support mmap, in which case this is a useless idea.)
|
---|
Replies are listed 'Best First'. | |
---|---|
Re^2: Displaying/buffering huge text files
by spurperl (Priest) on Feb 23, 2005 at 08:39 UTC | |
by graff (Chancellor) on Oct 06, 2005 at 21:33 UTC |