driver: Remove now unneeded localoptions

zsh-users · Aug 11, 2020 · 8ddba90 · 8ddba90
1 parent e6f8c6e
commit 8ddba90
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/driver.zsh b/driver.zsh
@@ -205,7 +205,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
 
@@ -276,8 +275,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."