diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2016-03-07 13:54:20 +0000 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2016-03-07 21:44:50 +0000 |
| commit | f1fb2114da0a0e293e94adf307da456449fea76d (patch) | |
| tree | 33a6daf050d4508fbff42ea8d5a33a662466371b /src/main.cc | |
| parent | 26e81976d337f13ab238b55768a9b979b4860101 (diff) | |
Handle <c-l> redrawing on the server side
That way we can force a redraw at any moment, including during
batch execution.
Diffstat (limited to 'src/main.cc')
| -rw-r--r-- | src/main.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/main.cc b/src/main.cc index 3f1cd10b..f8716d1d 100644 --- a/src/main.cc +++ b/src/main.cc @@ -296,7 +296,7 @@ std::unique_ptr<UserInterface> create_local_ui(bool dummy_ui) CharCoord dimensions() override { return {24,80}; } bool is_key_available() override { return false; } Key get_key() override { return Key::Invalid; } - void refresh() override {} + void refresh(bool) override {} void set_input_callback(InputCallback) override {} void set_ui_options(const Options&) override {} }; |
