driver: Make the shadowing $WIDGET read only.

This commit is contained in:
Daniel Shahaf 2018-01-08 06:03:38 +00:00 committed by Matthew Martin
parent f665eec230
commit d0fb0df4ff

View file

@ -349,7 +349,7 @@ then
# A nested function is required to hide zle parameters; see
# "User-defined widgets" in zshall.
() {
local -h +r WIDGET=zle-line-finish
local -h -r WIDGET=zle-line-finish
_zsh_highlight "$@"
} "$@"
}