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/remote.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/remote.cc')
| -rw-r--r-- | src/remote.cc | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/src/remote.cc b/src/remote.cc index e2756ef1..718d7f7d 100644 --- a/src/remote.cc +++ b/src/remote.cc @@ -255,7 +255,7 @@ public: const DisplayLine& mode_line, const Face& default_face) override; - void refresh() override; + void refresh(bool force) override; bool is_key_available() override; Key get_key() override; @@ -353,10 +353,11 @@ void RemoteUI::draw_status(const DisplayLine& status_line, msg.write(default_face); } -void RemoteUI::refresh() +void RemoteUI::refresh(bool force) { Message msg(m_socket_watcher.fd()); msg.write(RemoteUIMsg::Refresh); + msg.write(force); } void RemoteUI::set_ui_options(const Options& options) @@ -516,7 +517,7 @@ void RemoteClient::process_next_message() break; } case RemoteUIMsg::Refresh: - m_ui->refresh(); + m_ui->refresh(read<bool>(socket)); break; case RemoteUIMsg::SetOptions: m_ui->set_ui_options(read_idmap<String, MemoryDomain::Options>(socket)); |
