driver: Remove now unneeded localoptions

zsh-users · Aug 10, 2020 · 6449f17 · 6449f17
1 parent cfbba9d
commit 6449f17
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/driver.zsh b/driver.zsh
@@ -309,7 +309,6 @@ else
   # Rebind all ZLE widgets to make them invoke _zsh_highlights.
   _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
 
@@ -380,8 +379,6 @@ fi
 #   1) Path to the highlighters directory.
 _zsh_highlight_load_highlighters()
 {
-  setopt localoptions noksharrays bareglobqual
-
   # Check the directory exists.
   [[ -d "$1" ]] || {
     print -r -- >&2 "zsh-syntax-highlighting: highlighters directory ${(qq)1} not found."