Adds a Widget.batch
async context manager
#4183
Merged
Widget.batch
async context manager
#4183