diff options
| author | Randy Lai <randy.cs.lai@gmail.com> | 2018-04-21 18:08:54 -0400 |
|---|---|---|
| committer | Jonathan Slenders <jonathan@slenders.be> | 2018-05-01 13:50:56 +0200 |
| commit | 0b450e641fcd0723d21fad66be817ea3c664b2a0 (patch) | |
| tree | cc03c5ec790f70a986048e6c84865d1f9506da6b /prompt_toolkit | |
| parent | 897b0965a261268416609ee1d71a26a8c79a88f2 (diff) | |
need to refresh ui after resetting completion state
Diffstat (limited to 'prompt_toolkit')
| -rw-r--r-- | prompt_toolkit/buffer.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/prompt_toolkit/buffer.py b/prompt_toolkit/buffer.py index 7ec51684..277cc2e0 100644 --- a/prompt_toolkit/buffer.py +++ b/prompt_toolkit/buffer.py @@ -1476,6 +1476,9 @@ class Buffer(object): # When there are no completions, reset completion state anyway. if not completions: self.complete_state = None + # Render the ui if the completion menu was shown + # it is needed especially if there is one completion and it was deleted. + self.on_completions_changed.fire() return # Select first/last or insert common part, depending on the key |