Code

screen_keydef: document delete_key