It’s become clear that Trump will be the nominee. It’s now a mistake to do anything that might alienate Cruz supporters. Cruz doesn’t need anybody in November. Trump does.
It's also a mistake to let them insult Trump supporters going forward. If there is to be a truce it must be mutual.