diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2016-11-05 11:29:47 +0000 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2016-11-05 11:29:47 +0000 |
| commit | 8e5f491d3fe9721022ea2b5e6f9edf2048849a51 (patch) | |
| tree | 6e1aa2b2958fa4761c1f400eada61bd28d5ecd8e /src/client_manager.cc | |
| parent | f682632f9fa2f5593104ac0dad0683235dc3ad43 (diff) | |
Support deleting a buffer even if another client is in insert mode on it
Diffstat (limited to 'src/client_manager.cc')
| -rw-r--r-- | src/client_manager.cc | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/client_manager.cc b/src/client_manager.cc index 666df922..72a3eb28 100644 --- a/src/client_manager.cc +++ b/src/client_manager.cc @@ -118,9 +118,7 @@ void ClientManager::ensure_no_client_uses_buffer(Buffer& buffer) continue; if (context.is_editing()) - throw runtime_error(format("client '{}' is inserting in buffer '{}'", - context.name(), - buffer.display_name())); + context.input_handler().reset_normal_mode(); Buffer* last = client->last_buffer(); context.change_buffer(last ? *last : BufferManager::instance().get_first_buffer()); |
