Progressive document rendering

VisBuf now guarantees that all the buffers are sequentially ordered. This ensure complete utilization of all the buffers. Previously some buffers were not used at all, or allocated to the same origin as another one (!).

DocumentWidget is able to progressively fill up a buffer while scrolling. After any change to the visible region has been detected (and there are no ongoing changes), prerender the remaining runs one at a time. This solves the issue where one text run would be always unnecessarily rendered while scrolling, even if the scroll distance was just one pixel.

1 files changed, 3 insertions, 3 deletions

diff --git a/src/periodic.h b/src/periodic.h
index db90b848..8886617b 100644
--- a/src/periodic.h
+++ b/src/periodic.h
@@ -40,7 +40,7 @@ iLocalDef iBool isEmpty_Periodic(const iPeriodic *d) {
     return isEmpty_SortedArray(&d->commands);
 }
 
-void    add_Periodic            (iPeriodic *, iAny *context, const char *command);
-void    remove_Periodic         (iPeriodic *, iAny *context);
+void    add_Periodic            (iPeriodic *, iAnyObject *context, const char *command);
+void    remove_Periodic         (iPeriodic *, iAnyObject *context);
 
-iBool   postCommands_Periodic   (iPeriodic *);
+iBool   dispatchCommands_Periodic( iPeriodic *);