2016-02-06 06:14:08 +08:00
|
|
|
|
2016-02-14 15:29:43 +08:00
|
|
|
#--------------------------------------------------------------------#
|
|
|
|
# Highlighting #
|
|
|
|
#--------------------------------------------------------------------#
|
2016-02-06 06:14:08 +08:00
|
|
|
|
|
|
|
# If there was a highlight, remove it
|
|
|
|
_zsh_autosuggest_highlight_reset() {
|
2016-03-15 11:50:04 +08:00
|
|
|
typeset -g _ZSH_AUTOSUGGEST_LAST_HIGHLIGHT
|
|
|
|
|
2017-07-18 04:45:48 +08:00
|
|
|
if [[ -n "$_ZSH_AUTOSUGGEST_LAST_HIGHLIGHT" ]]; then
|
2016-02-06 06:14:08 +08:00
|
|
|
region_highlight=("${(@)region_highlight:#$_ZSH_AUTOSUGGEST_LAST_HIGHLIGHT}")
|
|
|
|
unset _ZSH_AUTOSUGGEST_LAST_HIGHLIGHT
|
|
|
|
fi
|
|
|
|
}
|
|
|
|
|
|
|
|
# If there's a suggestion, highlight it
|
|
|
|
_zsh_autosuggest_highlight_apply() {
|
2016-03-15 11:50:04 +08:00
|
|
|
typeset -g _ZSH_AUTOSUGGEST_LAST_HIGHLIGHT
|
|
|
|
|
2017-07-18 04:45:48 +08:00
|
|
|
if (( $#POSTDISPLAY )); then
|
2017-09-27 21:55:12 +08:00
|
|
|
typeset -g _ZSH_AUTOSUGGEST_LAST_HIGHLIGHT="$#BUFFER $(($#BUFFER + $#POSTDISPLAY)) $ZSH_AUTOSUGGEST_HIGHLIGHT_STYLE"
|
2016-02-25 04:59:49 +08:00
|
|
|
region_highlight+=("$_ZSH_AUTOSUGGEST_LAST_HIGHLIGHT")
|
2016-02-06 06:14:08 +08:00
|
|
|
else
|
|
|
|
unset _ZSH_AUTOSUGGEST_LAST_HIGHLIGHT
|
|
|
|
fi
|
|
|
|
}
|