Allow codingvalues to be deleted with ctrl+delete. Part of issue #77.