driver: Followup to last: make the value more unique.

Part of issue #305.
This commit is contained in:
Daniel Shahaf 2016-08-12 09:43:54 +00:00
parent d711563fe1
commit 295d62ec88
1 changed files with 1 additions and 0 deletions

View File

@ -249,6 +249,7 @@ _zsh_highlight_call_widget()
_zsh_highlight_bind_widgets()
{
setopt localoptions noksharrays
typeset -F SECONDS
local prefix=orig-s$SECONDS-r$RANDOM # unique each time, in case we're sourced more than once
# Load ZSH module zsh/zleparameter, needed to override user defined widgets.