diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2015-08-26 19:33:52 +0100 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2015-08-26 19:33:52 +0100 |
| commit | 0c41c141875dd91a12e20fa99fc7876d0ee8a792 (patch) | |
| tree | 8c7ce52dc9344688d39ddf6bffa0a40a888be55a /src/client_manager.hh | |
| parent | 3552152b34d64246ecb1003314a1040161fe3e97 (diff) | |
Reorganize slightly local client creation
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 01bb2bfc..3db5fb8f 100644 --- a/src/client_manager.hh +++ b/src/client_manager.hh @@ -28,7 +28,7 @@ public: bool empty() const { return m_clients.empty(); } size_t count() const { return m_clients.size(); } - void ensure_no_client_uses_buffer(Buffer& buffer); + void ensure_no_client_uses_buffer(Buffer& buffer); WindowAndSelections get_free_window(Buffer& buffer); void add_free_window(std::unique_ptr<Window>&& window, SelectionList selections); |