2012-10-30 14:00:44 +01:00
|
|
|
#include "client_manager.hh"
|
|
|
|
|
2012-11-07 14:02:23 +01:00
|
|
|
#include "buffer_manager.hh"
|
2012-12-18 21:20:36 +01:00
|
|
|
#include "command_manager.hh"
|
2013-04-09 19:39:03 +02:00
|
|
|
#include "event_manager.hh"
|
2014-07-11 01:27:04 +02:00
|
|
|
#include "face_registry.hh"
|
2013-03-25 19:11:26 +01:00
|
|
|
#include "file.hh"
|
2017-08-29 10:23:03 +02:00
|
|
|
#include "ranges.hh"
|
2013-04-09 19:39:03 +02:00
|
|
|
#include "window.hh"
|
2012-10-31 14:23:44 +01:00
|
|
|
|
2012-10-30 14:00:44 +01:00
|
|
|
namespace Kakoune
|
|
|
|
{
|
|
|
|
|
2013-02-07 19:25:42 +01:00
|
|
|
ClientManager::ClientManager() = default;
|
2015-08-26 20:34:19 +02:00
|
|
|
ClientManager::~ClientManager()
|
|
|
|
{
|
2016-03-03 14:55:35 +01:00
|
|
|
clear();
|
|
|
|
}
|
|
|
|
|
|
|
|
void ClientManager::clear()
|
|
|
|
{
|
2015-08-26 20:34:19 +02:00
|
|
|
// So that clients destructor find the client manager empty
|
|
|
|
// so that local UI does not fork.
|
|
|
|
ClientList clients = std::move(m_clients);
|
2017-01-21 13:14:44 +01:00
|
|
|
clients.clear();
|
2016-09-04 18:54:07 +02:00
|
|
|
m_client_trash.clear();
|
2017-01-19 19:44:26 +01:00
|
|
|
m_free_windows.clear();
|
2017-01-21 13:14:44 +01:00
|
|
|
m_window_trash.clear();
|
2015-08-26 20:34:19 +02:00
|
|
|
}
|
2013-02-07 19:25:42 +01:00
|
|
|
|
2013-01-07 13:59:09 +01:00
|
|
|
String ClientManager::generate_name() const
|
|
|
|
{
|
|
|
|
for (int i = 0; true; ++i)
|
|
|
|
{
|
2018-04-23 11:42:11 +02:00
|
|
|
String name = format("client{}", i);
|
2018-03-25 07:53:27 +02:00
|
|
|
if (not client_name_exists(name))
|
2013-01-07 13:59:09 +01:00
|
|
|
return name;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2017-08-28 08:12:15 +02:00
|
|
|
Client* ClientManager::create_client(std::unique_ptr<UserInterface>&& ui, int pid,
|
2018-03-22 21:36:18 +01:00
|
|
|
String name, EnvVarMap env_vars, StringView init_cmds,
|
2017-08-23 08:22:23 +02:00
|
|
|
Optional<BufferCoord> init_coord,
|
|
|
|
Client::OnExitCallback on_exit)
|
2012-10-30 14:00:44 +01:00
|
|
|
{
|
2016-10-11 01:45:05 +02:00
|
|
|
Buffer& buffer = BufferManager::instance().get_first_buffer();
|
2013-12-20 21:10:08 +01:00
|
|
|
WindowAndSelections ws = get_free_window(buffer);
|
2014-01-27 21:28:38 +01:00
|
|
|
Client* client = new Client{std::move(ui), std::move(ws.window),
|
2017-08-28 08:12:15 +02:00
|
|
|
std::move(ws.selections), pid,
|
2018-03-22 21:36:18 +01:00
|
|
|
std::move(env_vars),
|
|
|
|
name.empty() ? generate_name() : std::move(name),
|
2017-08-28 08:12:15 +02:00
|
|
|
std::move(on_exit)};
|
2013-04-15 14:28:21 +02:00
|
|
|
m_clients.emplace_back(client);
|
2016-12-01 21:40:50 +01:00
|
|
|
|
2017-01-19 19:44:26 +01:00
|
|
|
if (init_coord)
|
|
|
|
{
|
|
|
|
auto& selections = client->context().selections_write_only();
|
|
|
|
selections = SelectionList(buffer, buffer.clamp(*init_coord));
|
|
|
|
client->context().window().center_line(init_coord->line);
|
|
|
|
}
|
2016-12-01 21:40:50 +01:00
|
|
|
|
2012-12-19 18:56:47 +01:00
|
|
|
try
|
|
|
|
{
|
2016-12-01 21:40:50 +01:00
|
|
|
CommandManager::instance().execute(init_cmds, client->context());
|
2012-12-19 18:56:47 +01:00
|
|
|
}
|
2016-09-04 18:54:07 +02:00
|
|
|
catch (Kakoune::runtime_error& error)
|
2012-12-19 18:56:47 +01:00
|
|
|
{
|
2018-04-07 07:36:39 +02:00
|
|
|
client->context().print_status({ fix_atom_text(error.what().str()),
|
|
|
|
client->context().faces()["Error"] });
|
2018-10-22 23:15:53 +02:00
|
|
|
client->context().hooks().run_hook(Hook::RuntimeError, error.what(),
|
2016-09-04 18:54:07 +02:00
|
|
|
client->context());
|
2012-12-19 18:56:47 +01:00
|
|
|
}
|
|
|
|
|
2016-09-04 18:54:07 +02:00
|
|
|
// Do not return the client if it already got moved to the trash
|
|
|
|
return contains(m_clients, client) ? client : nullptr;
|
2012-10-30 14:00:44 +01:00
|
|
|
}
|
|
|
|
|
2016-11-29 22:35:53 +01:00
|
|
|
void ClientManager::process_pending_inputs() const
|
2014-11-25 02:00:18 +01:00
|
|
|
{
|
2016-11-30 10:47:38 +01:00
|
|
|
while (true)
|
|
|
|
{
|
|
|
|
bool had_input = false;
|
2016-12-01 21:55:28 +01:00
|
|
|
// Use index based iteration as a m_clients might get mutated during
|
|
|
|
// client input processing, which would break iterator based iteration.
|
|
|
|
// (its fine to skip a client if that happens as had_input will be true
|
|
|
|
// if a client triggers client removal)
|
|
|
|
for (int i = 0; i < m_clients.size(); ++i)
|
|
|
|
had_input = m_clients[i]->process_pending_inputs() or had_input;
|
2016-11-30 10:47:38 +01:00
|
|
|
|
|
|
|
if (not had_input)
|
|
|
|
break;
|
|
|
|
}
|
2014-11-25 02:00:18 +01:00
|
|
|
}
|
|
|
|
|
2018-01-21 02:00:40 +01:00
|
|
|
bool ClientManager::has_pending_inputs() const
|
|
|
|
{
|
2018-03-25 07:47:19 +02:00
|
|
|
return any_of(m_clients, [](auto&& c) { return c->has_pending_inputs(); });
|
2018-01-21 02:00:40 +01:00
|
|
|
}
|
|
|
|
|
2017-08-23 08:22:23 +02:00
|
|
|
void ClientManager::remove_client(Client& client, bool graceful, int status)
|
2012-10-30 14:00:44 +01:00
|
|
|
{
|
2016-09-04 18:54:07 +02:00
|
|
|
auto it = find(m_clients, &client);
|
|
|
|
if (it == m_clients.end())
|
|
|
|
{
|
|
|
|
kak_assert(contains(m_client_trash, &client));
|
|
|
|
return;
|
|
|
|
}
|
2017-08-23 08:22:23 +02:00
|
|
|
client.exit(status);
|
2016-09-04 18:54:07 +02:00
|
|
|
m_client_trash.push_back(std::move(*it));
|
2015-08-26 20:33:52 +02:00
|
|
|
m_clients.erase(it);
|
2015-10-08 14:43:39 +02:00
|
|
|
|
|
|
|
if (not graceful and m_clients.empty())
|
|
|
|
BufferManager::instance().backup_modified_buffers();
|
2012-10-30 14:00:44 +01:00
|
|
|
}
|
|
|
|
|
2013-12-20 21:10:08 +01:00
|
|
|
WindowAndSelections ClientManager::get_free_window(Buffer& buffer)
|
2012-11-05 19:15:42 +01:00
|
|
|
{
|
2016-03-08 22:35:56 +01:00
|
|
|
auto it = find_if(m_free_windows | reverse(),
|
2015-03-14 12:27:01 +01:00
|
|
|
[&](const WindowAndSelections& ws)
|
|
|
|
{ return &ws.window->buffer() == &buffer; });
|
|
|
|
|
|
|
|
if (it == m_free_windows.rend())
|
2016-03-12 16:27:54 +01:00
|
|
|
return { std::make_unique<Window>(buffer), { buffer, Selection{} } };
|
2015-03-14 12:27:01 +01:00
|
|
|
|
2015-06-21 20:56:23 +02:00
|
|
|
it->window->force_redraw();
|
2015-03-14 12:27:01 +01:00
|
|
|
WindowAndSelections res = std::move(*it);
|
|
|
|
m_free_windows.erase(it.base()-1);
|
|
|
|
res.selections.update();
|
|
|
|
return res;
|
2013-12-20 21:10:08 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
void ClientManager::add_free_window(std::unique_ptr<Window>&& window, SelectionList selections)
|
|
|
|
{
|
2015-01-26 20:41:10 +01:00
|
|
|
window->clear_display_buffer();
|
2017-05-27 07:17:23 +02:00
|
|
|
m_free_windows.push_back({std::move(window), std::move(selections)});
|
2012-11-05 19:15:42 +01:00
|
|
|
}
|
|
|
|
|
2012-11-07 14:02:23 +01:00
|
|
|
void ClientManager::ensure_no_client_uses_buffer(Buffer& buffer)
|
|
|
|
{
|
|
|
|
for (auto& client : m_clients)
|
|
|
|
{
|
2016-10-13 22:37:44 +02:00
|
|
|
auto& context = client->context();
|
|
|
|
context.jump_list().forget_buffer(buffer);
|
2015-11-07 19:24:08 +01:00
|
|
|
if (client->last_buffer() == &buffer)
|
|
|
|
client->set_last_buffer(nullptr);
|
2012-11-12 19:59:25 +01:00
|
|
|
|
2016-10-13 22:37:44 +02:00
|
|
|
if (&context.buffer() != &buffer)
|
2012-11-07 14:02:23 +01:00
|
|
|
continue;
|
|
|
|
|
2016-10-13 22:37:44 +02:00
|
|
|
if (context.is_editing())
|
2016-11-05 12:29:47 +01:00
|
|
|
context.input_handler().reset_normal_mode();
|
2013-04-10 18:54:01 +02:00
|
|
|
|
2016-10-13 22:37:44 +02:00
|
|
|
Buffer* last = client->last_buffer();
|
|
|
|
context.change_buffer(last ? *last : BufferManager::instance().get_first_buffer());
|
2012-11-07 14:02:23 +01:00
|
|
|
}
|
2013-12-20 21:10:08 +01:00
|
|
|
auto end = std::remove_if(m_free_windows.begin(), m_free_windows.end(),
|
|
|
|
[&buffer](const WindowAndSelections& ws)
|
2014-01-27 21:28:38 +01:00
|
|
|
{ return &ws.window->buffer() == &buffer; });
|
2016-05-13 21:32:53 +02:00
|
|
|
|
|
|
|
for (auto it = end; it != m_free_windows.end(); ++it)
|
|
|
|
m_window_trash.push_back(std::move(it->window));
|
|
|
|
|
2013-12-20 21:10:08 +01:00
|
|
|
m_free_windows.erase(end, m_free_windows.end());
|
2012-11-07 14:02:23 +01:00
|
|
|
}
|
|
|
|
|
2016-05-13 21:32:53 +02:00
|
|
|
void ClientManager::clear_window_trash()
|
|
|
|
{
|
|
|
|
m_window_trash.clear();
|
2016-09-04 18:54:07 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
void ClientManager::clear_client_trash()
|
|
|
|
{
|
|
|
|
m_client_trash.clear();
|
2016-05-13 21:32:53 +02:00
|
|
|
}
|
|
|
|
|
2018-03-25 07:53:27 +02:00
|
|
|
bool ClientManager::client_name_exists(StringView name) const
|
2012-12-03 18:56:53 +01:00
|
|
|
{
|
2018-03-25 07:53:27 +02:00
|
|
|
return const_cast<ClientManager*>(this)->get_client_ifp(name) != nullptr;
|
2012-12-03 18:56:53 +01:00
|
|
|
}
|
|
|
|
|
2014-10-20 20:18:38 +02:00
|
|
|
Client* ClientManager::get_client_ifp(StringView name)
|
2013-01-07 13:59:09 +01:00
|
|
|
{
|
|
|
|
for (auto& client : m_clients)
|
|
|
|
{
|
2013-11-14 21:51:25 +01:00
|
|
|
if (client->context().name() == name)
|
2013-12-07 14:43:48 +01:00
|
|
|
return client.get();
|
2013-01-07 13:59:09 +01:00
|
|
|
}
|
2013-12-07 14:43:48 +01:00
|
|
|
return nullptr;
|
|
|
|
}
|
|
|
|
|
2014-10-20 20:18:38 +02:00
|
|
|
Client& ClientManager::get_client(StringView name)
|
2013-12-07 14:43:48 +01:00
|
|
|
{
|
2015-01-04 23:34:36 +01:00
|
|
|
if (Client* client = get_client_ifp(name))
|
|
|
|
return *client;
|
2018-04-06 16:56:53 +02:00
|
|
|
throw runtime_error(format("no such client: '{}'", name));
|
2012-12-03 18:56:53 +01:00
|
|
|
}
|
|
|
|
|
2012-11-05 19:58:04 +01:00
|
|
|
void ClientManager::redraw_clients() const
|
|
|
|
{
|
|
|
|
for (auto& client : m_clients)
|
2013-09-16 20:15:13 +02:00
|
|
|
client->redraw_ifn();
|
2012-11-05 19:58:04 +01:00
|
|
|
}
|
|
|
|
|
2014-04-18 15:02:14 +02:00
|
|
|
CandidateList ClientManager::complete_client_name(StringView prefix,
|
2014-04-07 22:43:55 +02:00
|
|
|
ByteCount cursor_pos) const
|
|
|
|
{
|
2016-03-08 22:35:56 +01:00
|
|
|
auto c = m_clients | transform([](const std::unique_ptr<Client>& c) -> const String&
|
|
|
|
{ return c->context().name(); });
|
2016-02-09 23:50:10 +01:00
|
|
|
return complete(prefix, cursor_pos, c);
|
2014-04-07 22:43:55 +02:00
|
|
|
}
|
|
|
|
|
2012-10-30 14:00:44 +01:00
|
|
|
}
|