Revert "Add editor#delete_definition"

This reverts commit f88731c4e597d419bd08e96c0c8b037e049120e3.