implement paging so result do not get too big
Closed this issue · 2 comments
ctot-nondef commented
there is already a server side mechanism for summarizing/pageing - please document here
ctot-nondef commented
dependent on #145
MauPalantir commented
New backend supports paging results, a fixed 100 lines for now, but it can easily get more flexible if needed.