endBatch method
void
endBatch()
End a batch update and flush pending effects
Implementation
@pragma('vm:prefer-inline')
@pragma('wasm:prefer-inline')
@pragma('dart2js:prefer-inline')
void endBatch() {
if (!((--batchDepth) != 0)) {
flush();
}
}