2012-10-23 22:55:44 +02:00
|
|
|
#ifndef remote_hh_INCLUDED
|
|
|
|
#define remote_hh_INCLUDED
|
|
|
|
|
|
|
|
#include "user_interface.hh"
|
|
|
|
#include "display_buffer.hh"
|
|
|
|
|
|
|
|
namespace Kakoune
|
|
|
|
{
|
|
|
|
|
2012-10-26 13:45:32 +02:00
|
|
|
struct peer_disconnected : public runtime_error
|
|
|
|
{
|
|
|
|
peer_disconnected() : runtime_error("peer disconnected") {}
|
|
|
|
};
|
|
|
|
|
2012-10-23 22:55:44 +02:00
|
|
|
class RemoteUI : public UserInterface
|
|
|
|
{
|
|
|
|
public:
|
|
|
|
RemoteUI(int socket) : m_socket(socket) {}
|
|
|
|
|
|
|
|
void print_status(const String& status, CharCount cursor_pos) override;
|
|
|
|
void menu_show(const memoryview<String>& choices,
|
|
|
|
const DisplayCoord& anchor, MenuStyle style) override;
|
|
|
|
void menu_select(int selected) override;
|
|
|
|
void menu_hide() override;
|
|
|
|
void draw(const DisplayBuffer& display_buffer,
|
|
|
|
const String& status_line) override;
|
|
|
|
Key get_key() override;
|
|
|
|
DisplayCoord dimensions() override;
|
|
|
|
|
|
|
|
private:
|
|
|
|
int m_socket;
|
|
|
|
DisplayCoord m_dimensions;
|
|
|
|
};
|
|
|
|
|
|
|
|
class RemoteClient
|
|
|
|
{
|
|
|
|
public:
|
2012-10-25 12:51:01 +02:00
|
|
|
RemoteClient(int socket, UserInterface* ui);
|
2012-10-23 22:55:44 +02:00
|
|
|
|
|
|
|
void process_next_message();
|
|
|
|
void write_next_key();
|
|
|
|
|
|
|
|
private:
|
|
|
|
int m_socket;
|
|
|
|
std::unique_ptr<UserInterface> m_ui;
|
|
|
|
};
|
|
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
#endif // remote_hh_INCLUDED
|
|
|
|
|