Many tools allow the user to trim/extend elements either forward or backward from the new element. Where this isn't available, I conclude that the next logical step is to delete partial. Once that's done, I may decide later that the interval I left there needs to be deleted. How do I do that? If I use the delete tool, it deletes the entire element along with any other intervals on it. I want to delete only one specific interval.
I found this article on the wiki that explains intervals and gaps but nothing on how to delete them.