Andreas Röhler <andreas.roehler <at> online.de> writes:
In cases where a plenty of occur-calls is done, maybe
the discussion WRT to memory pertains?
The aim of this little experimental code is only to demonstrate
how this feature could work, not to be an optimal implementation.
But it only stores the last 10 occur buffers, so memory may not
be a real concern (most occur buffers are not huge in
my experience) and if the user uses occur frequently then
every buffer is pushed out of this stored history after a while
and the garbage collector can do its job.