2012-10-17 13:14:03 +02:00
|
|
|
#ifndef input_handler_hh_INCLUDED
|
|
|
|
#define input_handler_hh_INCLUDED
|
2012-06-06 01:15:19 +02:00
|
|
|
|
|
|
|
#include "keys.hh"
|
|
|
|
#include "completion.hh"
|
2012-08-15 22:36:45 +02:00
|
|
|
#include "utils.hh"
|
2012-09-03 14:22:02 +02:00
|
|
|
#include "string.hh"
|
2013-01-28 13:48:34 +01:00
|
|
|
#include "context.hh"
|
2012-06-06 01:15:19 +02:00
|
|
|
|
|
|
|
namespace Kakoune
|
|
|
|
{
|
|
|
|
|
|
|
|
class Editor;
|
|
|
|
|
2012-12-14 19:38:11 +01:00
|
|
|
enum class MenuEvent
|
|
|
|
{
|
|
|
|
Select,
|
|
|
|
Abort,
|
|
|
|
Validate
|
|
|
|
};
|
|
|
|
using MenuCallback = std::function<void (int, MenuEvent, Context&)>;
|
2012-12-05 19:22:40 +01:00
|
|
|
|
|
|
|
enum class PromptEvent
|
|
|
|
{
|
|
|
|
Change,
|
|
|
|
Abort,
|
|
|
|
Validate
|
|
|
|
};
|
|
|
|
using PromptCallback = std::function<void (const String&, PromptEvent, Context&)>;
|
2012-09-05 00:21:19 +02:00
|
|
|
using KeyCallback = std::function<void (const Key&, Context&)>;
|
2012-09-03 14:22:02 +02:00
|
|
|
|
2012-10-17 13:14:03 +02:00
|
|
|
class InputMode;
|
2012-09-26 14:22:24 +02:00
|
|
|
enum class InsertMode : unsigned;
|
2012-09-24 19:39:40 +02:00
|
|
|
|
2012-10-17 13:14:03 +02:00
|
|
|
class InputHandler : public SafeCountable
|
2012-06-06 01:15:19 +02:00
|
|
|
{
|
|
|
|
public:
|
2013-01-28 13:48:34 +01:00
|
|
|
InputHandler(UserInterface& ui);
|
2012-10-17 13:14:03 +02:00
|
|
|
~InputHandler();
|
2012-09-03 14:22:02 +02:00
|
|
|
|
2013-01-17 14:27:32 +01:00
|
|
|
// switch to insert mode
|
2013-01-29 13:49:01 +01:00
|
|
|
void insert(InsertMode mode);
|
2013-01-17 14:27:32 +01:00
|
|
|
// repeat last insert mode key sequence
|
2013-01-29 13:49:01 +01:00
|
|
|
void repeat_last_insert();
|
2012-09-05 14:27:14 +02:00
|
|
|
|
2013-01-17 14:27:32 +01: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
|
2012-09-03 14:22:02 +02:00
|
|
|
void prompt(const String& prompt, Completer completer,
|
2013-01-29 13:49:01 +01:00
|
|
|
PromptCallback callback);
|
2012-06-06 01:15:19 +02:00
|
|
|
|
2013-01-17 14:27:32 +01: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
|
2012-09-03 14:22:02 +02:00
|
|
|
void menu(const memoryview<String>& choices,
|
2013-01-29 13:49:01 +01:00
|
|
|
MenuCallback callback);
|
2012-09-24 19:24:27 +02:00
|
|
|
|
2013-01-17 14:27:32 +01:00
|
|
|
// execute callback on next keypress and returns to normal mode
|
|
|
|
// if callback does not change the mode itself
|
2012-09-05 00:21:19 +02:00
|
|
|
void on_next_key(KeyCallback callback);
|
|
|
|
|
2013-01-17 14:27:32 +01:00
|
|
|
// read and process all inputs available in context
|
|
|
|
// user interface
|
2013-01-29 13:49:01 +01:00
|
|
|
void handle_available_inputs();
|
2012-08-30 21:53:22 +02:00
|
|
|
|
2013-02-18 18:58:07 +01:00
|
|
|
void start_recording(char reg);
|
|
|
|
bool is_recording() const;
|
|
|
|
void stop_recording();
|
|
|
|
|
2013-01-28 13:48:34 +01:00
|
|
|
Context& context() { return m_context; }
|
2012-09-03 14:22:02 +02:00
|
|
|
private:
|
2013-01-28 13:48:34 +01:00
|
|
|
Context m_context;
|
2012-10-17 13:14:03 +02:00
|
|
|
friend class InputMode;
|
|
|
|
std::unique_ptr<InputMode> m_mode;
|
2012-11-27 18:52:43 +01:00
|
|
|
std::vector<std::unique_ptr<InputMode>> m_mode_trash;
|
2013-02-18 14:07:30 +01:00
|
|
|
|
|
|
|
using Insertion = std::pair<InsertMode, std::vector<Key>>;
|
|
|
|
Insertion m_last_insert = {InsertMode::Insert, {}};
|
2013-02-18 18:58:07 +01:00
|
|
|
|
|
|
|
char m_recording_reg = 0;
|
|
|
|
String m_recorded_keys;
|
2012-06-06 01:15:19 +02:00
|
|
|
};
|
|
|
|
|
|
|
|
struct prompt_aborted {};
|
|
|
|
|
|
|
|
}
|
|
|
|
|
2012-10-17 13:14:03 +02:00
|
|
|
#endif // input_handler_hh_INCLUDED
|