ProvidedExtensions.priorityIO
to suspend background refresh
+ ProvidedExtensions.priorityIO
allows
+ parsing API to suspend background I/O activity after refresh
+ of main window.
+
ProvidedExtensions.refreshRecursively
was added.