diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2016-03-09 23:29:46 +0000 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2016-03-09 23:29:46 +0000 |
| commit | fcd3437fac01ecb942d3fd9116d1d1a3c455c59e (patch) | |
| tree | 479798e1738023100c58b9cb9ef13838bb08b85d /src/user_interface.hh | |
| parent | 2d494ccb8e72782a0a015c8890d39ab00d5ce4aa (diff) | |
| parent | 517abf5e74636052007db0938067aee7bf658965 (diff) | |
Merge branch 'json-ui'
Diffstat (limited to 'src/user_interface.hh')
| -rw-r--r-- | src/user_interface.hh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/user_interface.hh b/src/user_interface.hh index 67553922..e8a30a4b 100644 --- a/src/user_interface.hh +++ b/src/user_interface.hh @@ -63,7 +63,7 @@ public: virtual bool is_key_available() = 0; virtual Key get_key() = 0; - virtual void refresh() = 0; + virtual void refresh(bool force) = 0; virtual void set_input_callback(InputCallback callback) = 0; |