diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2012-10-28 09:26:54 +0100 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2012-10-28 09:26:54 +0100 |
| commit | d9729cc29eb717aae2c68ced24d4b04d4c2ea4cf (patch) | |
| tree | dfa12788197425cd8c02d1b5a7c10078b2ac4cff /src/user_interface.hh | |
| parent | 13a081ed4ab770c80e6a258b6aa507ca55df3529 (diff) | |
Handle all available input before redrawing
Diffstat (limited to 'src/user_interface.hh')
| -rw-r--r-- | src/user_interface.hh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/user_interface.hh b/src/user_interface.hh index b1c116dc..91e5c47c 100644 --- a/src/user_interface.hh +++ b/src/user_interface.hh @@ -31,6 +31,7 @@ public: virtual void draw(const DisplayBuffer& display_buffer, const String& status_line) = 0; virtual DisplayCoord dimensions() = 0; + virtual bool is_key_available() = 0; virtual Key get_key() = 0; }; |