Dedicated delete faces button in mask widget

It would be nice if there was a delete faces option in the mask widget. All completely masked faces would be automatically split and deleted in a single action.

That’s what the hide function now does - mask it off, hide it, then delete or split options are available.
I guess you just want it in mask tool as well?

Thanks. Deleting via hide is quicker than what I was doing.