annotate zsh/zsh-history-substring-search.zsh @ 196:1665f80ff713

Cleanup
author zegervdv <zegervdv@me.com>
date Sat, 15 Nov 2014 09:29:15 +0100
parents 87498dbd779a
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
151
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
1 #!/usr/bin/env zsh
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
2 ##############################################################################
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
3 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
4 # Copyright (c) 2009 Peter Stephenson
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
5 # Copyright (c) 2011 Guido van Steen
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
6 # Copyright (c) 2011 Suraj N. Kurapati
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
7 # Copyright (c) 2011 Sorin Ionescu
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
8 # Copyright (c) 2011 Vincent Guerci
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
9 # All rights reserved.
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
10 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
11 # Redistribution and use in source and binary forms, with or without
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
12 # modification, are permitted provided that the following conditions are met:
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
13 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
14 # * Redistributions of source code must retain the above copyright
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
15 # notice, this list of conditions and the following disclaimer.
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
16 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
17 # * Redistributions in binary form must reproduce the above
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
18 # copyright notice, this list of conditions and the following
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
19 # disclaimer in the documentation and/or other materials provided
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
20 # with the distribution.
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
21 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
22 # * Neither the name of the FIZSH nor the names of its contributors
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
23 # may be used to endorse or promote products derived from this
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
24 # software without specific prior written permission.
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
25 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
26 # THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
27 # AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
28 # IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
29 # ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
30 # LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
31 # CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
32 # SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
33 # INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
34 # CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
35 # ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
36 # POSSIBILITY OF SUCH DAMAGE.
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
37 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
38 ##############################################################################
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
39
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
40 #-----------------------------------------------------------------------------
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
41 # configuration variables
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
42 #-----------------------------------------------------------------------------
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
43
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
44 HISTORY_SUBSTRING_SEARCH_HIGHLIGHT_FOUND='bg=magenta,fg=white,bold'
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
45 HISTORY_SUBSTRING_SEARCH_HIGHLIGHT_NOT_FOUND='bg=red,fg=white,bold'
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
46 HISTORY_SUBSTRING_SEARCH_GLOBBING_FLAGS='i'
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
47
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
48 #-----------------------------------------------------------------------------
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
49 # the main ZLE widgets
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
50 #-----------------------------------------------------------------------------
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
51
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
52 function history-substring-search-up() {
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
53 _history-substring-search-begin
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
54
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
55 _history-substring-search-up-history ||
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
56 _history-substring-search-up-buffer ||
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
57 _history-substring-search-up-search
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
58
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
59 _history-substring-search-end
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
60 }
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
61
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
62 function history-substring-search-down() {
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
63 _history-substring-search-begin
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
64
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
65 _history-substring-search-down-history ||
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
66 _history-substring-search-down-buffer ||
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
67 _history-substring-search-down-search
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
68
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
69 _history-substring-search-end
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
70 }
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
71
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
72 zle -N history-substring-search-up
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
73 zle -N history-substring-search-down
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
74
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
75 #-----------------------------------------------------------------------------
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
76 # implementation details
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
77 #-----------------------------------------------------------------------------
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
78
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
79 zmodload -F zsh/parameter
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
80
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
81 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
82 # We have to "override" some keys and widgets if the
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
83 # zsh-syntax-highlighting plugin has not been loaded:
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
84 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
85 # https://github.com/nicoulaj/zsh-syntax-highlighting
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
86 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
87 if [[ $+functions[_zsh_highlight] -eq 0 ]]; then
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
88 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
89 # Dummy implementation of _zsh_highlight() that
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
90 # simply removes any existing highlights when the
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
91 # user inserts printable characters into $BUFFER.
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
92 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
93 function _zsh_highlight() {
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
94 if [[ $KEYS == [[:print:]] ]]; then
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
95 region_highlight=()
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
96 fi
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
97 }
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
98
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
99 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
100 # The following snippet was taken from the zsh-syntax-highlighting project:
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
101 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
102 # https://github.com/zsh-users/zsh-syntax-highlighting/blob/56b134f5d62ae3d4e66c7f52bd0cc2595f9b305b/zsh-syntax-highlighting.zsh#L126-161
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
103 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
104 # Copyright (c) 2010-2011 zsh-syntax-highlighting contributors
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
105 # All rights reserved.
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
106 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
107 # Redistribution and use in source and binary forms, with or without
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
108 # modification, are permitted provided that the following conditions are
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
109 # met:
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
110 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
111 # * Redistributions of source code must retain the above copyright
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
112 # notice, this list of conditions and the following disclaimer.
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
113 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
114 # * Redistributions in binary form must reproduce the above copyright
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
115 # notice, this list of conditions and the following disclaimer in the
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
116 # documentation and/or other materials provided with the distribution.
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
117 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
118 # * Neither the name of the zsh-syntax-highlighting contributors nor the
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
119 # names of its contributors may be used to endorse or promote products
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
120 # derived from this software without specific prior written permission.
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
121 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
122 # THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
123 # IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO,
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
124 # THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
125 # PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
126 # CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
127 # EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
128 # PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
129 # PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
130 # LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
131 # NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
132 # SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
133 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
134 #--------------8<-------------------8<-------------------8<-----------------
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
135 # Rebind all ZLE widgets to make them invoke _zsh_highlights.
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
136 _zsh_highlight_bind_widgets()
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
137 {
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
138 # Load ZSH module zsh/zleparameter, needed to override user defined widgets.
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
139 zmodload zsh/zleparameter 2>/dev/null || {
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
140 echo 'zsh-syntax-highlighting: failed loading zsh/zleparameter.' >&2
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
141 return 1
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
142 }
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
143
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
144 # Override ZLE widgets to make them invoke _zsh_highlight.
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
145 local cur_widget
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
146 for cur_widget in ${${(f)"$(builtin zle -la)"}:#(.*|_*|orig-*|run-help|which-command|beep)}; do
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
147 case $widgets[$cur_widget] in
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
148
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
149 # Already rebound event: do nothing.
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
150 user:$cur_widget|user:_zsh_highlight_widget_*);;
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
151
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
152 # User defined widget: override and rebind old one with prefix "orig-".
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
153 user:*) eval "zle -N orig-$cur_widget ${widgets[$cur_widget]#*:}; \
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
154 _zsh_highlight_widget_$cur_widget() { builtin zle orig-$cur_widget -- \"\$@\" && _zsh_highlight }; \
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
155 zle -N $cur_widget _zsh_highlight_widget_$cur_widget";;
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
156
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
157 # Completion widget: override and rebind old one with prefix "orig-".
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
158 completion:*) eval "zle -C orig-$cur_widget ${${widgets[$cur_widget]#*:}/:/ }; \
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
159 _zsh_highlight_widget_$cur_widget() { builtin zle orig-$cur_widget -- \"\$@\" && _zsh_highlight }; \
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
160 zle -N $cur_widget _zsh_highlight_widget_$cur_widget";;
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
161
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
162 # Builtin widget: override and make it call the builtin ".widget".
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
163 builtin) eval "_zsh_highlight_widget_$cur_widget() { builtin zle .$cur_widget -- \"\$@\" && _zsh_highlight }; \
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
164 zle -N $cur_widget _zsh_highlight_widget_$cur_widget";;
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
165
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
166 # Default: unhandled case.
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
167 *) echo "zsh-syntax-highlighting: unhandled ZLE widget '$cur_widget'" >&2 ;;
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
168 esac
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
169 done
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
170 }
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
171 #-------------->8------------------->8------------------->8-----------------
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
172
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
173 _zsh_highlight_bind_widgets
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
174 fi
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
175
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
176 function _history-substring-search-begin() {
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
177 setopt localoptions extendedglob
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
178
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
179 _history_substring_search_refresh_display=
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
180 _history_substring_search_query_highlight=
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
181
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
182 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
183 # Continue using the previous $_history_substring_search_result by default,
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
184 # unless the current query was cleared or a new/different query was entered.
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
185 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
186 if [[ -z $BUFFER || $BUFFER != $_history_substring_search_result ]]; then
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
187 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
188 # For the purpose of highlighting we will also keep
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
189 # a version without doubly-escaped meta characters.
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
190 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
191 _history_substring_search_query=$BUFFER
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
192
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
193 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
194 # $BUFFER contains the text that is in the command-line currently.
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
195 # we put an extra "\\" before meta characters such as "\(" and "\)",
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
196 # so that they become "\\\(" and "\\\)".
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
197 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
198 _history_substring_search_query_escaped=${BUFFER//(#m)[\][()|\\*?#<>~^]/\\$MATCH}
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
199
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
200 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
201 # Find all occurrences of the search query in the history file.
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
202 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
203 # (k) turns it an array of line numbers.
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
204 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
205 # (on) seems to remove duplicates, which are default
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
206 # options. They can be turned off by (ON).
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
207 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
208 _history_substring_search_matches=(${(kon)history[(R)(#$HISTORY_SUBSTRING_SEARCH_GLOBBING_FLAGS)*${_history_substring_search_query_escaped}*]})
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
209
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
210 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
211 # Define the range of values that $_history_substring_search_match_index
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
212 # can take: [0, $_history_substring_search_matches_count_plus].
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
213 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
214 _history_substring_search_matches_count=$#_history_substring_search_matches
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
215 _history_substring_search_matches_count_plus=$(( _history_substring_search_matches_count + 1 ))
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
216 _history_substring_search_matches_count_sans=$(( _history_substring_search_matches_count - 1 ))
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
217
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
218 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
219 # If $_history_substring_search_match_index is equal to
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
220 # $_history_substring_search_matches_count_plus, this indicates that we
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
221 # are beyond the beginning of $_history_substring_search_matches.
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
222 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
223 # If $_history_substring_search_match_index is equal to 0, this indicates
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
224 # that we are beyond the end of $_history_substring_search_matches.
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
225 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
226 # If we have initially pressed "up" we have to initialize
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
227 # $_history_substring_search_match_index to
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
228 # $_history_substring_search_matches_count_plus so that it will be
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
229 # decreased to $_history_substring_search_matches_count.
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
230 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
231 # If we have initially pressed "down" we have to initialize
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
232 # $_history_substring_search_match_index to
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
233 # $_history_substring_search_matches_count so that it will be increased to
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
234 # $_history_substring_search_matches_count_plus.
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
235 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
236 if [[ $WIDGET == history-substring-search-down ]]; then
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
237 _history_substring_search_match_index=$_history_substring_search_matches_count
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
238 else
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
239 _history_substring_search_match_index=$_history_substring_search_matches_count_plus
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
240 fi
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
241 fi
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
242 }
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
243
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
244 function _history-substring-search-end() {
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
245 setopt localoptions extendedglob
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
246
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
247 _history_substring_search_result=$BUFFER
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
248
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
249 # the search was succesful so display the result properly by clearing away
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
250 # existing highlights and moving the cursor to the end of the result buffer
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
251 if [[ $_history_substring_search_refresh_display -eq 1 ]]; then
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
252 region_highlight=()
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
253 CURSOR=${#BUFFER}
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
254 fi
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
255
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
256 # highlight command line using zsh-syntax-highlighting
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
257 _zsh_highlight
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
258
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
259 # highlight the search query inside the command line
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
260 if [[ -n $_history_substring_search_query_highlight && -n $_history_substring_search_query ]]; then
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
261 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
262 # The following expression yields a variable $MBEGIN, which
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
263 # indicates the begin position + 1 of the first occurrence
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
264 # of _history_substring_search_query_escaped in $BUFFER.
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
265 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
266 : ${(S)BUFFER##(#m$HISTORY_SUBSTRING_SEARCH_GLOBBING_FLAGS)($_history_substring_search_query##)}
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
267 local begin=$(( MBEGIN - 1 ))
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
268 local end=$(( begin + $#_history_substring_search_query ))
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
269 region_highlight+=("$begin $end $_history_substring_search_query_highlight")
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
270 fi
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
271
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
272 # For debugging purposes:
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
273 # zle -R "mn: "$_history_substring_search_match_index" m#: "${#_history_substring_search_matches}
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
274 # read -k -t 200 && zle -U $REPLY
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
275
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
276 # Exit successfully from the history-substring-search-* widgets.
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
277 return 0
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
278 }
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
279
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
280 function _history-substring-search-up-buffer() {
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
281 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
282 # Check if the UP arrow was pressed to move the cursor within a multi-line
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
283 # buffer. This amounts to three tests:
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
284 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
285 # 1. $#buflines -gt 1.
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
286 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
287 # 2. $CURSOR -ne $#BUFFER.
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
288 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
289 # 3. Check if we are on the first line of the current multi-line buffer.
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
290 # If so, pressing UP would amount to leaving the multi-line buffer.
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
291 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
292 # We check this by adding an extra "x" to $LBUFFER, which makes
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
293 # sure that xlbuflines is always equal to the number of lines
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
294 # until $CURSOR (including the line with the cursor on it).
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
295 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
296 local buflines XLBUFFER xlbuflines
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
297 buflines=(${(f)BUFFER})
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
298 XLBUFFER=$LBUFFER"x"
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
299 xlbuflines=(${(f)XLBUFFER})
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
300
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
301 if [[ $#buflines -gt 1 && $CURSOR -ne $#BUFFER && $#xlbuflines -ne 1 ]]; then
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
302 zle up-line-or-history
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
303 return 0
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
304 fi
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
305
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
306 return 1
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
307 }
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
308
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
309 function _history-substring-search-down-buffer() {
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
310 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
311 # Check if the DOWN arrow was pressed to move the cursor within a multi-line
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
312 # buffer. This amounts to three tests:
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
313 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
314 # 1. $#buflines -gt 1.
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
315 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
316 # 2. $CURSOR -ne $#BUFFER.
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
317 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
318 # 3. Check if we are on the last line of the current multi-line buffer.
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
319 # If so, pressing DOWN would amount to leaving the multi-line buffer.
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
320 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
321 # We check this by adding an extra "x" to $RBUFFER, which makes
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
322 # sure that xrbuflines is always equal to the number of lines
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
323 # from $CURSOR (including the line with the cursor on it).
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
324 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
325 local buflines XRBUFFER xrbuflines
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
326 buflines=(${(f)BUFFER})
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
327 XRBUFFER="x"$RBUFFER
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
328 xrbuflines=(${(f)XRBUFFER})
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
329
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
330 if [[ $#buflines -gt 1 && $CURSOR -ne $#BUFFER && $#xrbuflines -ne 1 ]]; then
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
331 zle down-line-or-history
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
332 return 0
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
333 fi
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
334
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
335 return 1
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
336 }
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
337
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
338 function _history-substring-search-up-history() {
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
339 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
340 # Behave like up in ZSH, except clear the $BUFFER
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
341 # when beginning of history is reached like in Fish.
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
342 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
343 if [[ -z $_history_substring_search_query ]]; then
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
344
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
345 # we have reached the absolute top of history
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
346 if [[ $HISTNO -eq 1 ]]; then
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
347 BUFFER=
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
348
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
349 # going up from somewhere below the top of history
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
350 else
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
351 zle up-line-or-history
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
352 fi
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
353
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
354 return 0
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
355 fi
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
356
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
357 return 1
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
358 }
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
359
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
360 function _history-substring-search-down-history() {
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
361 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
362 # Behave like down-history in ZSH, except clear the
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
363 # $BUFFER when end of history is reached like in Fish.
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
364 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
365 if [[ -z $_history_substring_search_query ]]; then
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
366
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
367 # going down from the absolute top of history
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
368 if [[ $HISTNO -eq 1 && -z $BUFFER ]]; then
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
369 BUFFER=${history[1]}
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
370 _history_substring_search_refresh_display=1
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
371
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
372 # going down from somewhere above the bottom of history
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
373 else
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
374 zle down-line-or-history
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
375 fi
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
376
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
377 return 0
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
378 fi
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
379
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
380 return 1
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
381 }
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
382
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
383 function _history-substring-search-not-found() {
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
384 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
385 # Nothing matched the search query, so put it back into the $BUFFER while
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
386 # highlighting it accordingly so the user can revise it and search again.
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
387 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
388 _history_substring_search_old_buffer=$BUFFER
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
389 BUFFER=$_history_substring_search_query
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
390 _history_substring_search_query_highlight=$HISTORY_SUBSTRING_SEARCH_HIGHLIGHT_NOT_FOUND
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
391 }
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
392
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
393 function _history-substring-search-up-search() {
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
394 _history_substring_search_refresh_display=1
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
395
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
396 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
397 # Highlight matches during history-substring-up-search:
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
398 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
399 # The following constants have been initialized in
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
400 # _history-substring-search-up/down-search():
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
401 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
402 # $_history_substring_search_matches is the current list of matches
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
403 # $_history_substring_search_matches_count is the current number of matches
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
404 # $_history_substring_search_matches_count_plus is the current number of matches + 1
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
405 # $_history_substring_search_matches_count_sans is the current number of matches - 1
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
406 # $_history_substring_search_match_index is the index of the current match
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
407 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
408 # The range of values that $_history_substring_search_match_index can take
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
409 # is: [0, $_history_substring_search_matches_count_plus]. A value of 0
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
410 # indicates that we are beyond the end of
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
411 # $_history_substring_search_matches. A value of
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
412 # $_history_substring_search_matches_count_plus indicates that we are beyond
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
413 # the beginning of $_history_substring_search_matches.
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
414 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
415 # In _history-substring-search-up-search() the initial value of
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
416 # $_history_substring_search_match_index is
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
417 # $_history_substring_search_matches_count_plus. This value is set in
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
418 # _history-substring-search-begin(). _history-substring-search-up-search()
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
419 # will initially decrease it to $_history_substring_search_matches_count.
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
420 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
421 if [[ $_history_substring_search_match_index -ge 2 ]]; then
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
422 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
423 # Highlight the next match:
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
424 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
425 # 1. Decrease the value of $_history_substring_search_match_index.
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
426 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
427 # 2. Use $HISTORY_SUBSTRING_SEARCH_HIGHLIGHT_FOUND
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
428 # to highlight the current buffer.
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
429 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
430 (( _history_substring_search_match_index-- ))
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
431 BUFFER=$history[$_history_substring_search_matches[$_history_substring_search_match_index]]
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
432 _history_substring_search_query_highlight=$HISTORY_SUBSTRING_SEARCH_HIGHLIGHT_FOUND
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
433
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
434 elif [[ $_history_substring_search_match_index -eq 1 ]]; then
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
435 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
436 # We will move beyond the end of $_history_substring_search_matches:
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
437 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
438 # 1. Decrease the value of $_history_substring_search_match_index.
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
439 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
440 # 2. Save the current buffer in $_history_substring_search_old_buffer,
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
441 # so that it can be retrieved by
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
442 # _history-substring-search-down-search() later.
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
443 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
444 # 3. Make $BUFFER equal to $_history_substring_search_query.
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
445 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
446 # 4. Use $HISTORY_SUBSTRING_SEARCH_HIGHLIGHT_NOT_FOUND
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
447 # to highlight the current buffer.
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
448 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
449 (( _history_substring_search_match_index-- ))
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
450 _history-substring-search-not-found
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
451
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
452 elif [[ $_history_substring_search_match_index -eq $_history_substring_search_matches_count_plus ]]; then
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
453 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
454 # We were beyond the beginning of $_history_substring_search_matches but
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
455 # UP makes us move back to $_history_substring_search_matches:
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
456 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
457 # 1. Decrease the value of $_history_substring_search_match_index.
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
458 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
459 # 2. Restore $BUFFER from $_history_substring_search_old_buffer.
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
460 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
461 # 3. Use $HISTORY_SUBSTRING_SEARCH_HIGHLIGHT_FOUND
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
462 # to highlight the current buffer.
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
463 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
464 (( _history_substring_search_match_index-- ))
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
465 BUFFER=$_history_substring_search_old_buffer
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
466 _history_substring_search_query_highlight=$HISTORY_SUBSTRING_SEARCH_HIGHLIGHT_FOUND
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
467
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
468 else
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
469 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
470 # We are at the beginning of history and there are no further matches.
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
471 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
472 _history-substring-search-not-found
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
473 fi
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
474 }
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
475
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
476 function _history-substring-search-down-search() {
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
477 _history_substring_search_refresh_display=1
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
478
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
479 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
480 # Highlight matches during history-substring-up-search:
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
481 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
482 # The following constants have been initialized in
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
483 # _history-substring-search-up/down-search():
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
484 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
485 # $_history_substring_search_matches is the current list of matches
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
486 # $_history_substring_search_matches_count is the current number of matches
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
487 # $_history_substring_search_matches_count_plus is the current number of matches + 1
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
488 # $_history_substring_search_matches_count_sans is the current number of matches - 1
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
489 # $_history_substring_search_match_index is the index of the current match
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
490 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
491 # The range of values that $_history_substring_search_match_index can take
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
492 # is: [0, $_history_substring_search_matches_count_plus]. A value of 0
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
493 # indicates that we are beyond the end of
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
494 # $_history_substring_search_matches. A value of
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
495 # $_history_substring_search_matches_count_plus indicates that we are beyond
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
496 # the beginning of $_history_substring_search_matches.
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
497 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
498 # In _history-substring-search-down-search() the initial value of
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
499 # $_history_substring_search_match_index is
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
500 # $_history_substring_search_matches_count. This value is set in
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
501 # _history-substring-search-begin().
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
502 # _history-substring-search-down-search() will initially increase it to
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
503 # $_history_substring_search_matches_count_plus.
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
504 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
505 if [[ $_history_substring_search_match_index -le $_history_substring_search_matches_count_sans ]]; then
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
506 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
507 # Highlight the next match:
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
508 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
509 # 1. Increase $_history_substring_search_match_index by 1.
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
510 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
511 # 2. Use $HISTORY_SUBSTRING_SEARCH_HIGHLIGHT_FOUND
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
512 # to highlight the current buffer.
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
513 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
514 (( _history_substring_search_match_index++ ))
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
515 BUFFER=$history[$_history_substring_search_matches[$_history_substring_search_match_index]]
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
516 _history_substring_search_query_highlight=$HISTORY_SUBSTRING_SEARCH_HIGHLIGHT_FOUND
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
517
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
518 elif [[ $_history_substring_search_match_index -eq $_history_substring_search_matches_count ]]; then
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
519 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
520 # We will move beyond the beginning of $_history_substring_search_matches:
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
521 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
522 # 1. Increase $_history_substring_search_match_index by 1.
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
523 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
524 # 2. Save the current buffer in $_history_substring_search_old_buffer, so
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
525 # that it can be retrieved by _history-substring-search-up-search()
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
526 # later.
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
527 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
528 # 3. Make $BUFFER equal to $_history_substring_search_query.
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
529 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
530 # 4. Use $HISTORY_SUBSTRING_SEARCH_HIGHLIGHT_NOT_FOUND
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
531 # to highlight the current buffer.
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
532 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
533 (( _history_substring_search_match_index++ ))
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
534 _history-substring-search-not-found
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
535
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
536 elif [[ $_history_substring_search_match_index -eq 0 ]]; then
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
537 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
538 # We were beyond the end of $_history_substring_search_matches but DOWN
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
539 # makes us move back to the $_history_substring_search_matches:
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
540 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
541 # 1. Increase $_history_substring_search_match_index by 1.
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
542 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
543 # 2. Restore $BUFFER from $_history_substring_search_old_buffer.
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
544 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
545 # 3. Use $HISTORY_SUBSTRING_SEARCH_HIGHLIGHT_FOUND
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
546 # to highlight the current buffer.
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
547 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
548 (( _history_substring_search_match_index++ ))
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
549 BUFFER=$_history_substring_search_old_buffer
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
550 _history_substring_search_query_highlight=$HISTORY_SUBSTRING_SEARCH_HIGHLIGHT_FOUND
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
551
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
552 else
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
553 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
554 # We are at the end of history and there are no further matches.
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
555 #
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
556 _history-substring-search-not-found
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
557 fi
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
558 }
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
559
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
560 # -*- mode: zsh; sh-indentation: 2; indent-tabs-mode: nil; sh-basic-offset: 2; -*-
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
561 # vim: ft=zsh sw=2 ts=2 et