mirror of
https://github.com/ohmyzsh/ohmyzsh.git
synced 2026-01-02 02:19:06 +01:00
Tradition dictates that options are uppercase.
This commit is contained in:
parent
850eb8c637
commit
9d27df2050
14 changed files with 58 additions and 58 deletions
|
|
@ -186,7 +186,7 @@ if [[ $+functions[_zsh_highlight] -eq 0 ]]; then
|
|||
fi
|
||||
|
||||
function _history-substring-search-begin() {
|
||||
setopt localoptions extendedglob
|
||||
setopt LOCAL_OPTIONS EXTENDED_GLOB
|
||||
|
||||
_history_substring_search_move_cursor_eol=false
|
||||
_history_substring_search_query_highlight=
|
||||
|
|
@ -254,7 +254,7 @@ function _history-substring-search-begin() {
|
|||
}
|
||||
|
||||
function _history-substring-search-end() {
|
||||
setopt localoptions extendedglob
|
||||
setopt LOCAL_OPTIONS EXTENDED_GLOB
|
||||
|
||||
_history_substring_search_result=$BUFFER
|
||||
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue