Revert "JShell07's local pull request"

This commit is contained in:
JShell07 2018-03-16 10:24:04 +08:00 committed by GitHub
commit 663b3b4691
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
97 changed files with 709 additions and 2226 deletions

View file

@ -244,7 +244,7 @@ _history-substring-search-end() {
_history_substring_search_result=$BUFFER
# the search was successful so display the result properly by clearing away
# the search was succesful so display the result properly by clearing away
# existing highlights and moving the cursor to the end of the result buffer
if [[ $_history_substring_search_refresh_display -eq 1 ]]; then
region_highlight=()