From af03935a598a4bd888be0b128be54adaad6a62b3 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jorge=20Israel=20Pe=C3=B1a?= Date: Sat, 1 Feb 2014 00:35:36 -0500 Subject: [PATCH] clean up the merge --- highlighters/main/main-highlighter.zsh | 14 -------------- 1 file changed, 14 deletions(-) diff --git a/highlighters/main/main-highlighter.zsh b/highlighters/main/main-highlighter.zsh index 99a43c4..6528e8c 100755 --- a/highlighters/main/main-highlighter.zsh +++ b/highlighters/main/main-highlighter.zsh @@ -41,7 +41,6 @@ : ${ZSH_HIGHLIGHT_STYLES[commandseparator]:=none} : ${ZSH_HIGHLIGHT_STYLES[hashed-command]:=fg=green} : ${ZSH_HIGHLIGHT_STYLES[path]:=underline} -: ${ZSH_HIGHLIGHT_STYLES[path_separator]:=fg=cyan} : ${ZSH_HIGHLIGHT_STYLES[path_prefix]:=underline} : ${ZSH_HIGHLIGHT_STYLES[path_approx]:=fg=yellow,underline} : ${ZSH_HIGHLIGHT_STYLES[globbing]:=fg=blue} @@ -184,19 +183,6 @@ _zsh_highlight_main_highlighter_check_assign() [[ $arg == [[:alpha:]_][[:alnum:]_]#(|\[*\])=* ]] } -_zsh_highlight_main_highlighter_highlight_path_separators() -{ - local pos style - style=$ZSH_HIGHLIGHT_STYLES[path_separator] - for (( pos = 0; $pos < ${#BUFFER}; pos++ )) ; do - local char="$BUFFER[pos+1]" - - if [[ "$char" == "/" ]]; then - region_highlight+=("$pos $((pos + 1)) $style") - fi - done -} - _zsh_highlight_main_highlighter_highlight_path_separators() { local pos style