diff options
| author | Maxime Coste <mawww@kakoune.org> | 2019-04-04 13:10:38 +1100 |
|---|---|---|
| committer | Maxime Coste <mawww@kakoune.org> | 2019-04-04 13:10:38 +1100 |
| commit | cc788c888e3e7c273cb518337f593bd3a768e1ac (patch) | |
| tree | 6560a1d408293053078485d947afaf7c67757398 /src/client_manager.hh | |
| parent | d91e017803aca3b75dbb3d1cfca26a811022c1d4 (diff) | |
Fix detection of client ungraceful disconnection
Diffstat (limited to 'src/client_manager.hh')
| -rw-r--r-- | src/client_manager.hh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/client_manager.hh b/src/client_manager.hh index 465b74b5..104d2124 100644 --- a/src/client_manager.hh +++ b/src/client_manager.hh @@ -35,7 +35,7 @@ public: void add_free_window(std::unique_ptr<Window>&& window, SelectionList selections); void redraw_clients() const; - void process_pending_inputs() const; + void process_pending_inputs(); bool has_pending_inputs() const; Client* get_client_ifp(StringView name); |