e7d2a558ad
* DevTools flushes updated passive warning/error info after delay Previously this information was not flushed until the next commit, but this provides a worse user experience if the next commit is really delayed. Instead, the backend now flushes only the warning/error counts after a delay. As a safety, if there are already any pending operations in the queue, we bail. Co-authored-by: eps1lon <silbermann.sebastian@gmail.com>