'main': Don't leak the PATH_DIRS options.
Found-by: m0viefreak (in #298)
This commit is contained in:
		
							parent
							
								
									ef4bfe5bcc
								
							
						
					
					
						commit
						7b82b88a71
					
				|  | @ -88,7 +88,7 @@ _zsh_highlight_main_add_region_highlight() { | ||||||
| # called inside a $(...) subshell, so the effects will be local. | # called inside a $(...) subshell, so the effects will be local. | ||||||
| _zsh_highlight_main__type() { | _zsh_highlight_main__type() { | ||||||
|   if (( $#options_to_set )); then |   if (( $#options_to_set )); then | ||||||
|     setopt $options_to_set; |     setopt localoptions $options_to_set; | ||||||
|   fi |   fi | ||||||
|   LC_ALL=C builtin type -w -- $1 2>/dev/null |   LC_ALL=C builtin type -w -- $1 2>/dev/null | ||||||
| } | } | ||||||
|  |  | ||||||
		Loading…
	
		Reference in New Issue