kakoune/src/input_handler.cc

729 lines
23 KiB
C++
Raw Normal View History

2012-10-17 13:14:03 +02:00
#include "input_handler.hh"
#include "context.hh"
#include "editor.hh"
#include "register_manager.hh"
#include "event_manager.hh"
#include "utf8.hh"
#include <unordered_map>
namespace Kakoune
{
extern std::unordered_map<Key, std::function<void (Context& context)>> keymap;
2012-10-17 13:14:03 +02:00
class InputMode
{
public:
2012-10-17 13:14:03 +02:00
InputMode(InputHandler& input_handler) : m_input_handler(input_handler) {}
virtual ~InputMode() {}
InputMode(const InputMode&) = delete;
InputMode& operator=(const InputMode&) = delete;
2013-01-28 13:48:34 +01:00
virtual void on_key(const Key& key) = 0;
Context& context() const { return m_input_handler.context(); }
using Insertion = InputHandler::Insertion;
Insertion& last_insert() { return m_input_handler.m_last_insert; }
protected:
2012-09-24 19:39:40 +02:00
void reset_normal_mode();
private:
2012-10-17 13:14:03 +02:00
InputHandler& m_input_handler;
};
2012-10-17 13:14:03 +02:00
namespace InputModes
{
static constexpr std::chrono::milliseconds idle_timeout{100};
2012-10-17 13:14:03 +02:00
class Normal : public InputMode
{
public:
2012-10-17 13:14:03 +02:00
Normal(InputHandler& input_handler)
2013-01-29 13:58:19 +01:00
: InputMode(input_handler),
m_idle_timer{Clock::now() + idle_timeout, [this](Timer& timer) {
context().hooks().run_hook("NormalIdle", "", context());
}}
2013-01-30 19:04:03 +01:00
{
context().hooks().run_hook("NormalBegin", "", context());
}
~Normal()
{
context().hooks().run_hook("NormalEnd", "", context());
}
2013-01-28 13:48:34 +01:00
void on_key(const Key& key) override
{
if (key.modifiers == Key::Modifiers::None and isdigit(key.key))
m_count = m_count * 10 + key.key - '0';
else
{
auto it = keymap.find(key);
if (it != keymap.end())
{
2013-01-28 13:48:34 +01:00
context().numeric_param() = m_count;
it->second(context());
}
m_count = 0;
}
2013-01-30 19:04:03 +01:00
context().hooks().run_hook("NormalKey", key_to_str(key), context());
2013-01-29 13:58:19 +01:00
m_idle_timer.set_next_date(Clock::now() + idle_timeout);
}
private:
int m_count = 0;
2013-01-29 13:58:19 +01:00
Timer m_idle_timer;
};
class LineEditor
{
public:
void handle_key(const Key& key)
{
if (key == Key::Left or
key == Key{Key::Modifiers::Control, 'b'})
{
if (m_cursor_pos > 0)
--m_cursor_pos;
}
else if (key == Key::Right or
key == Key{Key::Modifiers::Control, 'f'})
{
if (m_cursor_pos < m_line.char_length())
++m_cursor_pos;
}
else if (key == Key::Home)
m_cursor_pos = 0;
else if (key == Key::End)
m_cursor_pos = m_line.char_length();
else if (key == Key::Backspace)
{
if (m_cursor_pos != 0)
{
m_line = m_line.substr(0, m_cursor_pos - 1)
+ m_line.substr(m_cursor_pos);
--m_cursor_pos;
}
}
else
{
m_line = m_line.substr(0, m_cursor_pos) + codepoint_to_str(key.key)
+ m_line.substr(m_cursor_pos);
++m_cursor_pos;
}
}
void insert(const String& str)
{
insert_from(m_cursor_pos, str);
}
void insert_from(CharCount start, const String& str)
{
assert(start <= m_cursor_pos);
m_line = m_line.substr(0, start) + str
+ m_line.substr(m_cursor_pos);
m_cursor_pos = start + str.char_length();
}
void reset(String line)
{
m_line = std::move(line);
m_cursor_pos = m_line.char_length();
}
const String& line() const { return m_line; }
CharCount cursor_pos() const { return m_cursor_pos; }
private:
CharCount m_cursor_pos = 0;
String m_line;
};
2012-10-17 13:14:03 +02:00
class Menu : public InputMode
{
public:
2013-01-28 13:48:34 +01:00
Menu(InputHandler& input_handler, const memoryview<String>& choices,
MenuCallback callback)
2013-01-28 13:48:34 +01:00
: InputMode(input_handler),
m_callback(callback), m_choices(choices.begin(), choices.end()),
m_selected(m_choices.begin())
{
DisplayCoord menu_pos{ context().ui().dimensions().line, 0_char };
2013-01-28 13:48:34 +01:00
context().ui().menu_show(choices, menu_pos, MenuStyle::Prompt);
2012-09-03 19:20:41 +02:00
}
2013-01-28 13:48:34 +01:00
void on_key(const Key& key) override
{
auto match_filter = [this](const String& str) {
return boost::regex_match(str.begin(), str.end(), m_filter);
};
if (key == Key(Key::Modifiers::Control, 'm'))
{
2013-01-28 13:48:34 +01:00
context().ui().menu_hide();
context().ui().print_status("");
2012-09-24 19:39:40 +02:00
reset_normal_mode();
int selected = m_selected - m_choices.begin();
2013-01-28 13:48:34 +01:00
m_callback(selected, MenuEvent::Validate, context());
return;
}
2012-11-08 14:05:00 +01:00
else if (key == Key::Escape or key == Key{ Key::Modifiers::Control, 'c' })
{
if (m_edit_filter)
{
m_edit_filter = false;
m_filter = boost::regex(".*");
m_filter_editor.reset("");
2013-01-28 13:48:34 +01:00
context().ui().print_status("");
}
else
{
2013-01-28 13:48:34 +01:00
context().ui().menu_hide();
reset_normal_mode();
int selected = m_selected - m_choices.begin();
2013-01-28 13:48:34 +01:00
m_callback(selected, MenuEvent::Abort, context());
}
}
else if (key == Key::Down or
key == Key(Key::Modifiers::Control, 'i') or
key == Key(Key::Modifiers::Control, 'n') or
key == Key(Key::Modifiers::None, 'j'))
{
auto it = std::find_if(m_selected+1, m_choices.end(), match_filter);
if (it == m_choices.end())
it = std::find_if(m_choices.begin(), m_selected, match_filter);
2013-01-28 13:48:34 +01:00
select(it);
}
else if (key == Key::Up or
key == Key::BackTab or
key == Key(Key::Modifiers::Control, 'p') or
key == Key(Key::Modifiers::None, 'k'))
{
ChoiceList::const_reverse_iterator selected(m_selected+1);
auto it = std::find_if(selected+1, m_choices.rend(), match_filter);
if (it == m_choices.rend())
it = std::find_if(m_choices.rbegin(), selected, match_filter);
2013-01-28 13:48:34 +01:00
select(it.base()-1);
}
else if (key == '/' and not m_edit_filter)
{
m_edit_filter = true;
}
else if (m_edit_filter)
{
m_filter_editor.handle_key(key);
auto search = ".*" + m_filter_editor.line() + ".*";
m_filter = boost::regex(search.begin(), search.end());
auto it = std::find_if(m_selected, m_choices.end(), match_filter);
if (it == m_choices.end())
it = std::find_if(m_choices.begin(), m_selected, match_filter);
2013-01-28 13:48:34 +01:00
select(it);
}
if (m_edit_filter)
2013-01-28 13:48:34 +01:00
context().ui().print_status("/" + m_filter_editor.line(),
m_filter_editor.cursor_pos() + 1);
}
private:
MenuCallback m_callback;
using ChoiceList = std::vector<String>;
const ChoiceList m_choices;
ChoiceList::const_iterator m_selected;
2013-01-28 13:48:34 +01:00
void select(ChoiceList::const_iterator it)
{
m_selected = it;
int selected = m_selected - m_choices.begin();
2013-01-28 13:48:34 +01:00
context().ui().menu_select(selected);
m_callback(selected, MenuEvent::Select, context());
}
boost::regex m_filter = boost::regex(".*");
bool m_edit_filter = false;
LineEditor m_filter_editor;
};
String common_prefix(const memoryview<String>& strings)
{
String res;
if (strings.empty())
return res;
res = strings[0];
for (auto& str : strings)
{
ByteCount len = std::min(res.length(), str.length());
ByteCount common_len = 0;
while (common_len < len and str[common_len] == res[common_len])
++common_len;
if (common_len != res.length())
res = res.substr(0, common_len);
}
return res;
}
2012-10-17 13:14:03 +02:00
class Prompt : public InputMode
{
public:
2013-01-28 13:48:34 +01:00
Prompt(InputHandler& input_handler, const String& prompt,
Completer completer, PromptCallback callback)
2013-01-28 13:48:34 +01:00
: InputMode(input_handler), m_prompt(prompt),
m_completer(completer), m_callback(callback)
{
m_history_it = ms_history[m_prompt].end();
2013-01-28 13:48:34 +01:00
context().ui().print_status(m_prompt, m_prompt.char_length());
2012-09-03 19:20:41 +02:00
}
2013-01-28 13:48:34 +01:00
void on_key(const Key& key) override
{
std::vector<String>& history = ms_history[m_prompt];
const String& line = m_line_editor.line();
if (m_insert_reg)
{
2013-01-28 13:48:34 +01:00
String reg = RegisterManager::instance()[key.key].values(context())[0];
m_line_editor.insert(reg);
m_insert_reg = false;
}
else if (key == Key{Key::Modifiers::Control, 'm'}) // enter
{
std::vector<String>::iterator it;
while ((it = find(history, line)) != history.end())
history.erase(it);
history.push_back(line);
2013-01-28 13:48:34 +01:00
context().ui().print_status("");
context().ui().menu_hide();
2012-09-24 19:39:40 +02:00
reset_normal_mode();
// call callback after reset_normal_mode so that callback
// may change the mode
2013-01-28 13:48:34 +01:00
m_callback(line, PromptEvent::Validate, context());
return;
}
2012-11-08 14:05:00 +01:00
else if (key == Key::Escape or key == Key { Key::Modifiers::Control, 'c' })
{
2013-01-28 13:48:34 +01:00
context().ui().print_status("");
context().ui().menu_hide();
2012-09-24 19:39:40 +02:00
reset_normal_mode();
2013-01-28 13:48:34 +01:00
m_callback(line, PromptEvent::Abort, context());
return;
}
else if (key == Key{Key::Modifiers::Control, 'r'})
{
m_insert_reg = true;
}
else if (key == Key::Up or
key == Key{Key::Modifiers::Control, 'p'})
{
if (m_history_it != history.begin())
{
if (m_history_it == history.end())
m_prefix = line;
auto it = m_history_it;
// search for the previous history entry matching typed prefix
ByteCount prefix_length = m_prefix.length();
do
{
--it;
if (it->substr(0, prefix_length) == m_prefix)
{
m_history_it = it;
m_line_editor.reset(*it);
break;
}
} while (it != history.begin());
}
}
else if (key == Key::Down or // next
key == Key{Key::Modifiers::Control, 'n'})
{
if (m_history_it != history.end())
{
ByteCount prefix_length = m_prefix.length();
// search for the next history entry matching typed prefix
++m_history_it;
while (m_history_it != history.end() and
m_history_it->substr(0, prefix_length) != m_prefix)
++m_history_it;
if (m_history_it != history.end())
m_line_editor.reset(*m_history_it);
else
m_line_editor.reset(m_prefix);
}
}
else if (key == Key(Key::Modifiers::Control, 'i') or // tab completion
key == Key::BackTab)
{
const bool reverse = (key == Key::BackTab);
CandidateList& candidates = m_completions.candidates;
// first try, we need to ask our completer for completions
if (m_current_completion == -1)
{
2013-01-28 13:48:34 +01:00
m_completions = m_completer(context(), line,
line.byte_count_to(m_line_editor.cursor_pos()));
if (candidates.empty())
return;
2013-01-28 13:48:34 +01:00
context().ui().menu_hide();
DisplayCoord menu_pos{ context().ui().dimensions().line, 0_char };
2013-01-28 13:48:34 +01:00
context().ui().menu_show(candidates, menu_pos, MenuStyle::Prompt);
2013-01-28 13:48:34 +01:00
bool use_common_prefix = context().options()["complete_prefix"].as_int();
String prefix = use_common_prefix ? common_prefix(candidates) : String();
if (m_completions.end - m_completions.start > prefix.length())
prefix = line.substr(m_completions.start,
m_completions.end - m_completions.start);
auto it = find(candidates, prefix);
if (it == candidates.end())
{
m_current_completion = use_common_prefix ? candidates.size() : 0;
candidates.push_back(std::move(prefix));
}
else
m_current_completion = use_common_prefix ? it - candidates.begin() : 0;
}
else if (not reverse and ++m_current_completion >= candidates.size())
m_current_completion = 0;
else if (reverse and --m_current_completion < 0)
m_current_completion = candidates.size()-1;
const String& completion = candidates[m_current_completion];
2013-01-28 13:48:34 +01:00
context().ui().menu_select(m_current_completion);
m_line_editor.insert_from(line.char_count_to(m_completions.start),
completion);
// when we have only one completion candidate, make next tab complete
// from the new content.
if (candidates.size() == 1)
m_current_completion = -1;
}
else
{
2013-01-28 13:48:34 +01:00
context().ui().menu_hide();
m_current_completion = -1;
m_line_editor.handle_key(key);
}
2013-01-28 13:48:34 +01:00
context().ui().print_status(m_prompt + line,
m_prompt.char_length() + m_line_editor.cursor_pos());
2013-01-28 13:48:34 +01:00
m_callback(line, PromptEvent::Change, context());
}
private:
PromptCallback m_callback;
Completer m_completer;
const String m_prompt;
Completions m_completions;
int m_current_completion = -1;
String m_prefix;
LineEditor m_line_editor;
bool m_insert_reg = false;
static std::unordered_map<String, std::vector<String>> ms_history;
std::vector<String>::iterator m_history_it;
};
std::unordered_map<String, std::vector<String>> Prompt::ms_history;
2012-10-17 13:14:03 +02:00
class NextKey : public InputMode
{
public:
2012-10-17 13:14:03 +02:00
NextKey(InputHandler& input_handler, KeyCallback callback)
: InputMode(input_handler), m_callback(callback) {}
2013-01-28 13:48:34 +01:00
void on_key(const Key& key) override
{
2012-09-24 19:39:40 +02:00
reset_normal_mode();
2013-01-28 13:48:34 +01:00
m_callback(key, context());
}
private:
KeyCallback m_callback;
};
class WordCompleter
{
public:
void select(const Context& context, int offset)
{
if (not setup_ifn(context))
return;
context.buffer().erase(m_position, m_position + m_completions[m_current_completion].length());
m_current_completion = (m_current_completion + offset) % m_completions.size();
context.buffer().insert(m_position, m_completions[m_current_completion]);
context.ui().menu_select(m_current_completion);
}
void reset(const Context& context)
{
m_position = BufferIterator();
context.ui().menu_hide();
}
private:
bool setup_ifn(const Context& context)
{
if (not m_position.is_valid())
{
BufferIterator end = context.editor().selections().back().last();
BufferIterator begin = end-1;
while (not begin.is_begin() and is_word(*begin))
--begin;
if (not is_word(*begin))
++begin;
String prefix = context.buffer().string(begin, end);
m_completions = complete_word(context, prefix, begin);
if (m_completions.empty())
return false;
m_position = begin;
DisplayCoord menu_pos = context.window().display_position(m_position);
context.ui().menu_show(m_completions, menu_pos, MenuStyle::Inline);
m_completions.push_back(prefix);
m_current_completion = m_completions.size() - 1;
}
return true;
}
CandidateList complete_word(const Context& context,
const String& prefix,
const BufferIterator& pos)
{
String ex = "\\<\\Q" + prefix + "\\E\\w+\\>";
Regex re(ex.begin(), ex.end());
Buffer& buffer = context.buffer();
boost::regex_iterator<BufferIterator> it(buffer.begin(), buffer.end(), re);
boost::regex_iterator<BufferIterator> end;
CandidateList result;
for (; it != end; ++it)
{
auto& match = (*it)[0];
if (match.first <= pos and pos < match.second)
continue;
String content = buffer.string(match.first, match.second);
if (not contains(result, content))
result.emplace_back(std::move(content));
}
std::sort(result.begin(), result.end());
return result;
}
BufferIterator m_position;
CandidateList m_completions;
int m_current_completion = -1;
};
2012-10-17 13:14:03 +02:00
class Insert : public InputMode
2012-09-05 14:27:14 +02:00
{
public:
2013-01-28 13:48:34 +01:00
Insert(InputHandler& input_handler, InsertMode mode)
: InputMode(input_handler),
m_inserter(context().editor(), mode),
m_idle_timer{Clock::now() + idle_timeout,
2013-01-28 13:48:34 +01:00
[this](Timer& timer) {
context().hooks().run_hook("InsertIdle", "", context());
m_completer.reset(context());
if (context().editor().selections().size() == 1)
{
2013-01-28 13:48:34 +01:00
BufferIterator prev = context().editor().selections().back().last();
if (not prev.is_begin() && is_word(*utf8::previous(prev)))
2013-01-28 13:48:34 +01:00
m_completer.select(context(), 0);
}
}}
2012-09-05 14:27:14 +02:00
{
last_insert().first = mode;
last_insert().second.clear();
2013-01-28 13:48:34 +01:00
context().hooks().run_hook("InsertBegin", "", context());
2012-09-05 14:27:14 +02:00
}
2013-01-28 13:48:34 +01:00
void on_key(const Key& key) override
2012-09-05 14:27:14 +02:00
{
last_insert().second.push_back(key);
2012-09-05 14:27:14 +02:00
if (m_insert_reg)
{
if (key.modifiers == Key::Modifiers::None)
2013-01-28 13:48:34 +01:00
m_inserter.insert(RegisterManager::instance()[key.key].values(context()));
2012-09-05 14:27:14 +02:00
m_insert_reg = false;
return;
}
2013-01-17 14:22:24 +01:00
bool update_completions = true;
bool moved = false;
2012-11-08 14:05:00 +01:00
if (key == Key::Escape or key == Key{ Key::Modifiers::Control, 'c' })
2012-09-05 14:27:14 +02:00
{
2013-01-28 13:48:34 +01:00
context().hooks().run_hook("InsertEnd", "", context());
m_completer.reset(context());
2012-11-08 14:05:00 +01:00
reset_normal_mode();
}
else if (key == Key::Backspace)
m_inserter.erase();
else if (key == Key::Left)
2013-01-17 14:22:24 +01:00
{
m_inserter.move_cursors(-1_char);
2013-01-17 14:22:24 +01:00
moved = true;
}
2012-11-08 14:05:00 +01:00
else if (key == Key::Right)
{
m_inserter.move_cursors(1_char);
moved = true;
}
2012-11-08 14:05:00 +01:00
else if (key == Key::Up)
{
m_inserter.move_cursors(-1_line);
moved = true;
}
2012-11-08 14:05:00 +01:00
else if (key == Key::Down)
{
m_inserter.move_cursors(1_line);
moved = true;
}
2012-11-08 14:05:00 +01:00
else if (key.modifiers == Key::Modifiers::None)
2013-01-30 19:04:03 +01:00
{
2012-11-08 14:05:00 +01:00
m_inserter.insert(codepoint_to_str(key.key));
2013-01-30 19:04:03 +01:00
context().hooks().run_hook("InsertKey", key_to_str(key), context());
}
2012-11-08 14:05:00 +01:00
else if (key == Key{ Key::Modifiers::Control, 'r' })
m_insert_reg = true;
else if ( key == Key{ Key::Modifiers::Control, 'm' })
m_inserter.insert(String() + '\n');
else if ( key == Key{ Key::Modifiers::Control, 'i' })
m_inserter.insert(String() + '\t');
else if ( key == Key{ Key::Modifiers::Control, 'n' })
{
2013-01-28 13:48:34 +01:00
m_completer.select(context(), 1);
2013-01-17 14:22:24 +01:00
update_completions = false;
2012-11-08 14:05:00 +01:00
}
else if ( key == Key{ Key::Modifiers::Control, 'p' })
{
2013-01-28 13:48:34 +01:00
m_completer.select(context(), -1);
2013-01-17 14:22:24 +01:00
update_completions = false;
2012-11-08 14:05:00 +01:00
}
2013-01-17 14:22:24 +01:00
if (update_completions)
m_idle_timer.set_next_date(Clock::now() + idle_timeout);
if (moved)
2013-01-30 19:04:03 +01:00
context().hooks().run_hook("InsertMove", key_to_str(key), context());
2012-09-05 14:27:14 +02:00
}
private:
bool m_insert_reg = false;
IncrementalInserter m_inserter;
Timer m_idle_timer;
WordCompleter m_completer;
2012-09-05 14:27:14 +02:00
};
}
2012-10-17 13:14:03 +02:00
void InputMode::reset_normal_mode()
{
m_input_handler.m_mode_trash.emplace_back(std::move(m_input_handler.m_mode));
m_input_handler.m_mode.reset(new InputModes::Normal(m_input_handler));
}
2013-01-28 13:48:34 +01:00
InputHandler::InputHandler(UserInterface& ui)
: m_context(*this, ui), m_mode(new InputModes::Normal(*this))
2012-09-05 14:27:14 +02:00
{
}
2012-10-17 13:14:03 +02:00
InputHandler::~InputHandler()
{
}
void InputHandler::insert(InsertMode mode)
2012-09-05 14:27:14 +02:00
{
m_mode_trash.emplace_back(std::move(m_mode));
2013-01-28 13:48:34 +01:00
m_mode.reset(new InputModes::Insert(*this, mode));
2012-09-05 14:27:14 +02:00
}
void InputHandler::repeat_last_insert()
{
if (m_last_insert.second.empty())
return;
2012-09-05 14:27:14 +02:00
std::vector<Key> keys;
swap(keys, m_last_insert.second);
// context.last_insert will be refilled by the new Insert
2012-09-05 14:27:14 +02:00
// this is very inefficient.
m_mode_trash.emplace_back(std::move(m_mode));
m_mode.reset(new InputModes::Insert(*this, m_last_insert.first));
2012-09-05 14:27:14 +02:00
for (auto& key : keys)
2013-01-28 13:48:34 +01:00
m_mode->on_key(key);
2012-10-17 13:14:03 +02:00
assert(dynamic_cast<InputModes::Normal*>(m_mode.get()) != nullptr);
}
2012-10-17 13:14:03 +02:00
void InputHandler::prompt(const String& prompt, Completer completer,
PromptCallback callback)
{
m_mode_trash.emplace_back(std::move(m_mode));
2013-01-28 13:48:34 +01:00
m_mode.reset(new InputModes::Prompt(*this, prompt, completer, callback));
}
2012-10-17 13:14:03 +02:00
void InputHandler::menu(const memoryview<String>& choices,
MenuCallback callback)
{
m_mode_trash.emplace_back(std::move(m_mode));
2013-01-28 13:48:34 +01:00
m_mode.reset(new InputModes::Menu(*this, choices, callback));
}
2012-10-17 13:14:03 +02:00
void InputHandler::on_next_key(KeyCallback callback)
{
m_mode_trash.emplace_back(std::move(m_mode));
2012-10-17 13:14:03 +02:00
m_mode.reset(new InputModes::NextKey(*this, callback));
}
bool is_valid(const Key& key)
{
return key != Key::Invalid and key.key <= 0x10FFFF;
}
void InputHandler::handle_available_inputs()
{
m_mode_trash.clear();
while (m_context.ui().is_key_available())
{
Key key = m_context.ui().get_key();
if (is_valid(key))
2013-02-18 18:58:07 +01:00
{
const bool was_recording = is_recording();
2013-01-28 13:48:34 +01:00
m_mode->on_key(key);
2013-02-18 18:58:07 +01:00
// do not record the key that made us enter or leave recording mode.
if (was_recording and is_recording())
m_recorded_keys += key_to_str(key);
}
m_mode_trash.clear();
}
}
2013-02-18 18:58:07 +01:00
void InputHandler::start_recording(char reg)
{
assert(m_recording_reg == 0);
m_recording_reg = reg;
}
bool InputHandler::is_recording() const
{
return m_recording_reg != 0;
}
void InputHandler::stop_recording()
{
assert(m_recording_reg != 0);
RegisterManager::instance()[m_recording_reg] = memoryview<String>(m_recorded_keys);
m_recording_reg = 0;
}
}