2012-10-30 14:00:44 +01:00
|
|
|
#ifndef client_manager_hh_INCLUDED
|
|
|
|
#define client_manager_hh_INCLUDED
|
|
|
|
|
2013-09-12 23:47:23 +02:00
|
|
|
#include "client.hh"
|
2014-04-07 22:43:55 +02:00
|
|
|
#include "completion.hh"
|
2012-10-30 14:00:44 +01:00
|
|
|
|
|
|
|
namespace Kakoune
|
|
|
|
{
|
|
|
|
|
|
|
|
struct client_removed{};
|
|
|
|
|
2014-01-27 21:28:38 +01:00
|
|
|
struct WindowAndSelections
|
|
|
|
{
|
|
|
|
std::unique_ptr<Window> window;
|
|
|
|
DynamicSelectionList selections;
|
|
|
|
};
|
2013-12-20 21:10:08 +01:00
|
|
|
|
2012-10-30 14:00:44 +01:00
|
|
|
class ClientManager : public Singleton<ClientManager>
|
|
|
|
{
|
|
|
|
public:
|
2013-02-07 19:25:42 +01:00
|
|
|
ClientManager();
|
|
|
|
~ClientManager();
|
|
|
|
|
2013-09-12 23:47:23 +02:00
|
|
|
Client* create_client(std::unique_ptr<UserInterface>&& ui,
|
2014-04-07 22:25:44 +02:00
|
|
|
EnvVarMap env_vars, const String& init_cmd);
|
2012-10-30 14:00:44 +01:00
|
|
|
|
|
|
|
bool empty() const { return m_clients.empty(); }
|
|
|
|
size_t count() const { return m_clients.size(); }
|
2012-10-31 14:23:44 +01:00
|
|
|
|
2012-11-07 14:02:23 +01:00
|
|
|
void ensure_no_client_uses_buffer(Buffer& buffer);
|
2012-11-05 19:15:42 +01:00
|
|
|
|
2013-12-20 21:10:08 +01:00
|
|
|
WindowAndSelections get_free_window(Buffer& buffer);
|
|
|
|
void add_free_window(std::unique_ptr<Window>&& window, SelectionList selections);
|
|
|
|
|
2012-11-05 19:58:04 +01:00
|
|
|
void redraw_clients() const;
|
2012-12-03 18:56:53 +01:00
|
|
|
|
2013-12-07 14:43:48 +01:00
|
|
|
Client* get_client_ifp(const String& name);
|
2013-09-12 23:47:23 +02:00
|
|
|
Client& get_client(const String& name);
|
2013-09-13 00:01:47 +02:00
|
|
|
bool validate_client_name(const String& name) const;
|
2013-09-12 23:47:23 +02:00
|
|
|
void remove_client(Client& client);
|
2013-04-15 14:28:21 +02:00
|
|
|
|
2014-04-18 15:02:14 +02:00
|
|
|
CandidateList complete_client_name(StringView name,
|
2014-04-07 22:43:55 +02:00
|
|
|
ByteCount cursor_pos = -1) const;
|
|
|
|
|
2012-10-30 14:00:44 +01:00
|
|
|
private:
|
2013-01-07 13:59:09 +01:00
|
|
|
String generate_name() const;
|
2012-11-20 18:54:35 +01:00
|
|
|
|
2013-09-12 23:47:23 +02:00
|
|
|
std::vector<std::unique_ptr<Client>> m_clients;
|
2013-12-20 21:10:08 +01:00
|
|
|
std::vector<WindowAndSelections> m_free_windows;
|
2012-10-30 14:00:44 +01:00
|
|
|
};
|
|
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
#endif // client_manager_hh_INCLUDED
|
|
|
|
|