2012-10-30 14:00:44 +01:00
|
|
|
#ifndef client_manager_hh_INCLUDED
|
|
|
|
#define client_manager_hh_INCLUDED
|
|
|
|
|
|
|
|
#include "context.hh"
|
|
|
|
#include "input_handler.hh"
|
|
|
|
|
|
|
|
namespace Kakoune
|
|
|
|
{
|
|
|
|
|
|
|
|
struct client_removed{};
|
|
|
|
|
|
|
|
class ClientManager : public Singleton<ClientManager>
|
|
|
|
{
|
|
|
|
public:
|
2012-10-31 14:23:44 +01:00
|
|
|
void create_client(std::unique_ptr<UserInterface>&& ui,
|
2013-01-11 19:17:21 +01:00
|
|
|
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-22 14:08:55 +01:00
|
|
|
Window& get_unused_window_for_buffer(Buffer& buffer);
|
2012-11-07 14:02:23 +01:00
|
|
|
void ensure_no_client_uses_buffer(Buffer& buffer);
|
2012-11-05 19:15:42 +01:00
|
|
|
|
2012-11-05 19:58:04 +01:00
|
|
|
void redraw_clients() const;
|
2012-12-03 18:56:53 +01:00
|
|
|
|
|
|
|
void set_client_name(Context& context, String name);
|
2013-01-07 13:59:09 +01:00
|
|
|
String get_client_name(const Context& context);
|
2012-12-03 18:56:53 +01:00
|
|
|
Context& get_client_context(const String& name);
|
2012-10-30 14:00:44 +01:00
|
|
|
private:
|
2012-11-20 18:54:35 +01:00
|
|
|
void remove_client_by_context(Context& context);
|
2013-01-07 13:59:09 +01:00
|
|
|
String generate_name() const;
|
2012-11-20 18:54:35 +01:00
|
|
|
|
2012-10-31 14:23:44 +01:00
|
|
|
struct Client
|
|
|
|
{
|
2013-01-07 13:59:09 +01:00
|
|
|
Client(std::unique_ptr<UserInterface>&& ui, Window& window,
|
|
|
|
String name)
|
2012-11-22 14:17:46 +01:00
|
|
|
: user_interface(std::move(ui)),
|
2013-01-28 13:48:34 +01:00
|
|
|
input_handler(*user_interface),
|
|
|
|
name(std::move(name)) { context().change_editor(window); }
|
2012-11-22 14:17:46 +01:00
|
|
|
Client(Client&&) = delete;
|
|
|
|
Client& operator=(Client&& other) = delete;
|
2012-10-31 14:23:44 +01:00
|
|
|
|
2013-01-28 13:48:34 +01:00
|
|
|
Context& context() { return input_handler.context(); }
|
|
|
|
|
2012-10-31 14:23:44 +01:00
|
|
|
std::unique_ptr<UserInterface> user_interface;
|
2012-11-22 14:17:46 +01:00
|
|
|
InputHandler input_handler;
|
2012-12-03 18:56:53 +01:00
|
|
|
String name;
|
2012-10-31 14:23:44 +01:00
|
|
|
};
|
|
|
|
|
2012-11-22 14:17:46 +01:00
|
|
|
std::vector<std::unique_ptr<Client>> m_clients;
|
2012-11-22 14:08:55 +01:00
|
|
|
std::vector<std::unique_ptr<Window>> m_windows;
|
2012-10-30 14:00:44 +01:00
|
|
|
};
|
|
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
#endif // client_manager_hh_INCLUDED
|
|
|
|
|