diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2014-04-15 19:19:44 +0100 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2014-04-15 19:19:44 +0100 |
| commit | 7af9863e5181d2b78d7051f92d62f85e27ce9a29 (patch) | |
| tree | 3e755f113e398c0b40172f54a3b9a994b33fccb9 /src/user_interface.hh | |
| parent | 98c6a6f17e9c6d5d09e5acf1d0f1b87551f3ed31 (diff) | |
Add an explicit refresh method to user interface
With this refresh method user interface can defer updating
the display until really needed.
Diffstat (limited to 'src/user_interface.hh')
| -rw-r--r-- | src/user_interface.hh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/user_interface.hh b/src/user_interface.hh index affe822b..00366cb2 100644 --- a/src/user_interface.hh +++ b/src/user_interface.hh @@ -45,6 +45,8 @@ public: virtual bool is_key_available() = 0; virtual Key get_key() = 0; + virtual void refresh() = 0; + virtual void set_input_callback(InputCallback callback) = 0; }; |