zero length porta event deletion is non-undoable

[yuxshao]

If you delete a zero-length porta event then undo, the event doesn't come back. It still takes up an undo space though (i.e. you have to undo twice to undo the thing before the deletion).