Issue #2416: edit box