From e4408343a10d9e56a776e0d5e17311b4850959be Mon Sep 17 00:00:00 2001 From: Matthew Martin Date: Sun, 9 Aug 2020 21:15:42 -0500 Subject: [PATCH] driver: Remove now unneeded localoptions --- driver.zsh | 2 -- 1 file changed, 2 deletions(-) diff --git a/driver.zsh b/driver.zsh index 8723571..d93b910 100644 --- a/driver.zsh +++ b/driver.zsh @@ -157,8 +157,6 @@ _zsh_highlight_add_highlight() # 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."