2013-09-13 01:47:23 +04:00
|
|
|
#ifndef client_hh_INCLUDED
|
|
|
|
#define client_hh_INCLUDED
|
2012-06-06 03:15:19 +04:00
|
|
|
|
2013-04-09 21:39:03 +04:00
|
|
|
#include "color.hh"
|
2012-06-06 03:15:19 +04:00
|
|
|
#include "completion.hh"
|
2013-01-28 16:48:34 +04:00
|
|
|
#include "context.hh"
|
2013-04-09 21:39:03 +04:00
|
|
|
#include "editor.hh"
|
|
|
|
#include "keys.hh"
|
|
|
|
#include "string.hh"
|
|
|
|
#include "utils.hh"
|
2013-09-16 22:15:13 +04:00
|
|
|
#include "display_buffer.hh"
|
2012-06-06 03:15:19 +04:00
|
|
|
|
|
|
|
namespace Kakoune
|
|
|
|
{
|
|
|
|
|
|
|
|
class Editor;
|
|
|
|
|
2012-12-14 22:38:11 +04:00
|
|
|
enum class MenuEvent
|
|
|
|
{
|
|
|
|
Select,
|
|
|
|
Abort,
|
|
|
|
Validate
|
|
|
|
};
|
|
|
|
using MenuCallback = std::function<void (int, MenuEvent, Context&)>;
|
2012-12-05 22:22:40 +04:00
|
|
|
|
|
|
|
enum class PromptEvent
|
|
|
|
{
|
|
|
|
Change,
|
|
|
|
Abort,
|
|
|
|
Validate
|
|
|
|
};
|
|
|
|
using PromptCallback = std::function<void (const String&, PromptEvent, Context&)>;
|
2013-07-26 03:44:25 +04:00
|
|
|
using KeyCallback = std::function<void (Key, Context&)>;
|
2012-09-03 16:22:02 +04:00
|
|
|
|
2012-10-17 15:14:03 +04:00
|
|
|
class InputMode;
|
2012-09-26 16:22:24 +04:00
|
|
|
enum class InsertMode : unsigned;
|
2012-09-24 21:39:40 +04:00
|
|
|
|
2013-09-13 01:47:23 +04:00
|
|
|
class Client : public SafeCountable
|
2012-06-06 03:15:19 +04:00
|
|
|
{
|
|
|
|
public:
|
2013-09-13 01:47:23 +04:00
|
|
|
Client(std::unique_ptr<UserInterface>&& ui, Editor& editor, String name);
|
|
|
|
~Client();
|
2012-09-03 16:22:02 +04:00
|
|
|
|
2013-01-17 17:27:32 +04:00
|
|
|
// switch to insert mode
|
2013-01-29 16:49:01 +04:00
|
|
|
void insert(InsertMode mode);
|
2013-01-17 17:27:32 +04:00
|
|
|
// repeat last insert mode key sequence
|
2013-01-29 16:49:01 +04:00
|
|
|
void repeat_last_insert();
|
2012-09-05 16:27:14 +04:00
|
|
|
|
2013-01-17 17:27:32 +04:00
|
|
|
// enter prompt mode, callback is called on each change,
|
|
|
|
// abort or validation with corresponding PromptEvent value
|
|
|
|
// returns to normal mode after validation if callback does
|
|
|
|
// not change the mode itself
|
2013-04-04 21:03:59 +04:00
|
|
|
void prompt(const String& prompt, ColorPair prompt_colors,
|
|
|
|
Completer completer, PromptCallback callback);
|
2013-04-04 21:09:34 +04:00
|
|
|
void set_prompt_colors(ColorPair prompt_colors);
|
2012-06-06 03:15:19 +04:00
|
|
|
|
2013-01-17 17:27:32 +04:00
|
|
|
// enter menu mode, callback is called on each selection change,
|
|
|
|
// abort or validation with corresponding MenuEvent value
|
|
|
|
// returns to normal mode after validation if callback does
|
|
|
|
// not change the mode itself
|
2013-07-26 03:17:12 +04:00
|
|
|
void menu(memoryview<String> choices,
|
2013-01-29 16:49:01 +04:00
|
|
|
MenuCallback callback);
|
2012-09-24 21:24:27 +04:00
|
|
|
|
2013-01-17 17:27:32 +04:00
|
|
|
// execute callback on next keypress and returns to normal mode
|
|
|
|
// if callback does not change the mode itself
|
2012-09-05 02:21:19 +04:00
|
|
|
void on_next_key(KeyCallback callback);
|
|
|
|
|
2013-09-16 21:48:41 +04:00
|
|
|
|
|
|
|
// handle all the keys currently available in the user interface
|
|
|
|
void handle_available_input();
|
2013-09-11 21:54:30 +04:00
|
|
|
// process the given key
|
|
|
|
void handle_key(Key key);
|
2012-08-30 23:53:22 +04:00
|
|
|
|
2013-02-18 21:58:07 +04:00
|
|
|
void start_recording(char reg);
|
|
|
|
bool is_recording() const;
|
|
|
|
void stop_recording();
|
|
|
|
|
2013-01-28 16:48:34 +04:00
|
|
|
Context& context() { return m_context; }
|
2013-10-11 00:34:19 +04:00
|
|
|
const Context& context() const { return m_context; }
|
2013-09-13 01:39:34 +04:00
|
|
|
const String& name() const { return m_name; }
|
2013-09-13 02:01:47 +04:00
|
|
|
void set_name(String name) { m_name = std::move(name); }
|
2013-09-13 01:39:34 +04:00
|
|
|
|
2013-09-16 22:15:13 +04:00
|
|
|
void print_status(DisplayLine status_line);
|
|
|
|
|
|
|
|
void redraw_ifn();
|
|
|
|
|
2013-09-13 01:39:34 +04:00
|
|
|
UserInterface& ui() const { return *m_ui; }
|
2013-10-15 21:50:43 +04:00
|
|
|
|
|
|
|
void reset_normal_mode();
|
2012-09-03 16:22:02 +04:00
|
|
|
private:
|
2013-10-11 00:34:19 +04:00
|
|
|
void change_input_mode(InputMode* new_mode);
|
|
|
|
|
|
|
|
DisplayLine generate_mode_line() const;
|
|
|
|
|
2013-01-28 16:48:34 +04:00
|
|
|
Context m_context;
|
2012-10-17 15:14:03 +04:00
|
|
|
friend class InputMode;
|
2013-09-13 01:39:34 +04:00
|
|
|
std::unique_ptr<UserInterface> m_ui;
|
2012-10-17 15:14:03 +04:00
|
|
|
std::unique_ptr<InputMode> m_mode;
|
2012-11-27 21:52:43 +04:00
|
|
|
std::vector<std::unique_ptr<InputMode>> m_mode_trash;
|
2013-02-18 17:07:30 +04:00
|
|
|
|
2013-09-13 01:39:34 +04:00
|
|
|
String m_name;
|
2013-09-16 22:15:13 +04:00
|
|
|
DisplayLine m_status_line;
|
2013-09-13 01:39:34 +04:00
|
|
|
|
2013-02-18 17:07:30 +04:00
|
|
|
using Insertion = std::pair<InsertMode, std::vector<Key>>;
|
|
|
|
Insertion m_last_insert = {InsertMode::Insert, {}};
|
2013-02-18 21:58:07 +04:00
|
|
|
|
|
|
|
char m_recording_reg = 0;
|
|
|
|
String m_recorded_keys;
|
2012-06-06 03:15:19 +04:00
|
|
|
};
|
|
|
|
|
|
|
|
}
|
|
|
|
|
2013-09-13 01:47:23 +04:00
|
|
|
#endif // client_hh_INCLUDED
|