(key: KeyEvent)
| 1173 | } |
| 1174 | |
| 1175 | function getInputCharacter(key: KeyEvent) { |
| 1176 | if (key.ctrl || key.meta || key.name.length !== 1) { |
| 1177 | return "" |
| 1178 | } |
| 1179 | |
| 1180 | return key.shift ? key.name.toUpperCase() : key.name |
| 1181 | } |
| 1182 | |
| 1183 | function isSearchInput(input: string) { |
| 1184 | return input.length > 0 && !/[\u0000-\u001F\u007F]/.test(input) |