Support deleting a buffer even if another client is in insert mode on it
This commit is contained in:
parent
f682632f9f
commit
8e5f491d3f
|
@ -118,9 +118,7 @@ void ClientManager::ensure_no_client_uses_buffer(Buffer& buffer)
|
||||||
continue;
|
continue;
|
||||||
|
|
||||||
if (context.is_editing())
|
if (context.is_editing())
|
||||||
throw runtime_error(format("client '{}' is inserting in buffer '{}'",
|
context.input_handler().reset_normal_mode();
|
||||||
context.name(),
|
|
||||||
buffer.display_name()));
|
|
||||||
|
|
||||||
Buffer* last = client->last_buffer();
|
Buffer* last = client->last_buffer();
|
||||||
context.change_buffer(last ? *last : BufferManager::instance().get_first_buffer());
|
context.change_buffer(last ? *last : BufferManager::instance().get_first_buffer());
|
||||||
|
|
Loading…
Reference in New Issue
Block a user