diff bootstrap.sh @ 1451:f72fb7fac92a single-point

When invalidating cache in a time-constrained context, don't start rendering in the same cycle as well - leave it for a further update. Slightly experimental effort to make the UI feel more responsive.
author Chris Cannam
date Wed, 01 May 2019 15:15:26 +0100
parents 7fb9b939722f
children
line wrap: on
line diff