An Alloy wiget that allows cross-platform row deletion in a table.