diff options
| author | Peter Stephenson <pws@zsh.org> | 2016-01-15 12:49:42 +0000 |
|---|---|---|
| committer | Peter Stephenson <pws@zsh.org> | 2016-01-15 12:49:42 +0000 |
| commit | 1d8b5285226afba4f1ef9030cf862c14b975c284 (patch) | |
| tree | 0aa8503873ae04dafee2ea521e8bffe76d437bf6 /Util/reporter | |
| parent | da71967273150c318c8cb7dc9fb2c51d11adb827 (diff) | |
| download | zsh-1d8b5285226afba4f1ef9030cf862c14b975c284.tar.gz zsh-1d8b5285226afba4f1ef9030cf862c14b975c284.tar.xz zsh-1d8b5285226afba4f1ef9030cf862c14b975c284.zip | |
37643: Reset interrupt on key input in menu selection.
We don't need to propagate the interrupt further as the interrupt causes the key to be empty, which will exit the widget. We need to reset the condition as zrefresh() is now more sensitive to errors since 36416 / 32f5d3d8.
Diffstat (limited to 'Util/reporter')
0 files changed, 0 insertions, 0 deletions