(value: unknown, key: K)
| 1165 | } |
| 1166 | |
| 1167 | function hasStringProperty<K extends string>(value: unknown, key: K): value is Record<K, string> { |
| 1168 | if (typeof value !== "object" || value === null || !(key in value)) { |
| 1169 | return false |
| 1170 | } |
| 1171 | |
| 1172 | return typeof Object.getOwnPropertyDescriptor(value, key)?.value === "string" |
| 1173 | } |
| 1174 | |
| 1175 | function getInputCharacter(key: KeyEvent) { |
| 1176 | if (key.ctrl || key.meta || key.name.length !== 1) { |