From 295d62ec888d0d43579abad4e4245aede8f2cc85 Mon Sep 17 00:00:00 2001 From: Daniel Shahaf Date: Fri, 12 Aug 2016 09:43:54 +0000 Subject: [PATCH] driver: Followup to last: make the value more unique. Part of issue #305. --- zsh-syntax-highlighting.zsh | 1 + 1 file changed, 1 insertion(+) diff --git a/zsh-syntax-highlighting.zsh b/zsh-syntax-highlighting.zsh index 27da031..5e13253 100644 --- a/zsh-syntax-highlighting.zsh +++ b/zsh-syntax-highlighting.zsh @@ -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.