Baby lead weaning

So how do you guys cut the onions/mushrooms up in things like pasta sauces or curries? Do you do them tiny? Just cooked up a curry for us all and realised I’d done them big and chunky how we like them but I don’t want him to choke or something so I picked out all the veg and just gave him sauce in case!