'main': Don't leak the PATH_DIRS options.

danielshahaf · danielshahaf · commit 7b82b88a7166 · 2016-05-12T19:24:00.000Z
Found-by: m0viefreak (in #298)
diff --git a/highlighters/main/main-highlighter.zsh b/highlighters/main/main-highlighter.zsh
@@ -88,7 +88,7 @@ _zsh_highlight_main_add_region_highlight() {
 # called inside a $(...) subshell, so the effects will be local.
 _zsh_highlight_main__type() {
   if (( $#options_to_set )); then
-    setopt $options_to_set;
+    setopt localoptions $options_to_set;
   fi
   LC_ALL=C builtin type -w -- $1 2>/dev/null
 }

Original file line number	Diff line number	Diff line change
`@@ -88,7 +88,7 @@ _zsh_highlight_main_add_region_highlight() {`
`88`	`88`	`# called inside a $(...) subshell, so the effects will be local.`
`89`	`89`	`_zsh_highlight_main__type() {`
`90`	`90`	`if (( $#options_to_set )); then`
`91`		`- setopt $options_to_set;`
	`91`	`+ setopt localoptions $options_to_set;`
`92`	`92`	`fi`
`93`	`93`	`LC_ALL=C builtin type -w -- $1 2>/dev/null`
`94`	`94`	`}`