Searched refs:DELETE_PREV_CHAR (Results 1 – 7 of 7) sorted by relevance
25 8: DELETE_PREV_CHAR62 127: DELETE_PREV_CHAR
25 8: DELETE_PREV_CHAR
26 8: DELETE_PREV_CHAR
170 final short DELETE_PREV_CHAR = -41; field
70 names.put("DELETE_PREV_CHAR", new Short(DELETE_PREV_CHAR));549 case DELETE_PREV_CHAR: in readLine()627 case DELETE_PREV_CHAR: // backspace in readLine()
97 return append(getKeyForAction(ConsoleReader.DELETE_PREV_CHAR)); in back()
30 .getKeyForAction(ConsoleReader.DELETE_PREV_CHAR)); in testDeleteAndBackspaceKeymappings()