diff options
author | Junegunn Choi <junegunn.c@gmail.com> | 2015-07-26 23:02:04 +0900 |
---|---|---|
committer | Junegunn Choi <junegunn.c@gmail.com> | 2015-07-26 23:02:04 +0900 |
commit | ee0c8a2635f564870be7926ded092939428a8b57 (patch) | |
tree | 8fc16e28d17afbb9421638e706b046df9a8ceec4 /shell | |
parent | 2bebddefc018ff28572bdba0581cb1ffabd494e4 (diff) |
Add --margin option
Close #299
Diffstat (limited to 'shell')
-rw-r--r-- | shell/completion.bash | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/shell/completion.bash b/shell/completion.bash index abe3363c..63de5463 100644 --- a/shell/completion.bash +++ b/shell/completion.bash @@ -50,7 +50,8 @@ _fzf_opts_completion() { --history --history-size --header-file - --header-lines" + --header-lines + --margin" case "${prev}" in --tiebreak) |