worklist/hifi — pull request #936 by LionTurtle (2013-09-13 20:45:43+00:00)
Title: Change nudge UI to be more consistent with classic editing UI.

Add menu option for Delete and fix delete for VoxelSelectMode.