Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Ignore nulls from terminal CTRL-space in LineEdit
By default some terminals (eg, xterm) generate '\0' when CTRL-space is pressed. However, '\0' is used internally by the key map system to represent a wildcard (see normalize_key()), so cannot be handled without a larger overhaul. Instead, just ignore it to avoid user confusion with lines containing an invisible, unparsable character. Fixes JuliaLang#7001
- Loading branch information