diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2016-11-30 09:47:38 +0000 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2016-11-30 09:47:38 +0000 |
| commit | 540e504e68417d68cdd522c5d5924b61e612888f (patch) | |
| tree | b750563090bed24effc1a7af30a4cabea20c9176 /src/client.hh | |
| parent | 3a81260917319e15b13e4f09dd9bc38f0b72b194 (diff) | |
Ensure all available input is handled before going back to main loop
We were not handling keys that could have been generated while handling
other keys (like during a shell evaluation).
Diffstat (limited to 'src/client.hh')
| -rw-r--r-- | src/client.hh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/client.hh b/src/client.hh index 2ee7a867..7b2b36bd 100644 --- a/src/client.hh +++ b/src/client.hh @@ -34,7 +34,7 @@ public: Client(Client&&) = delete; - void process_pending_inputs(); + bool process_pending_inputs(); void menu_show(Vector<DisplayLine> choices, BufferCoord anchor, MenuStyle style); void menu_select(int selected); |