Hi, On Thu, Sep 13, 2012 at 10:40 AM, Thomas Mueller <[email protected]> wrote: > Sounds good. I guess we could do both: always prefetch 20 nodes, and if > there is still time, fetch more up to 0.1 seconds or so, or at most 200 > nodes. I guess 200 should be enough to for a GUI to decide what to display > (10 pages for 20 nodes per page).
+1 BR, Jukka Zitting
