Searched refs:REPEAT_PREV_CHAR (Results 1 – 2 of 2) sorted by relevance
| /external/jline/src/src/main/java/jline/ | ||
| D | ConsoleOperations.java | 110 final short REPEAT_PREV_CHAR = -20; field |
| D | ConsoleReader.java | 58 names.put("REPEAT_PREV_CHAR", new Short(REPEAT_PREV_CHAR)); |