2012-10-17 13:14:03 +02:00
|
|
|
#include "input_handler.hh"
|
2012-09-03 14:22:02 +02:00
|
|
|
|
|
|
|
#include "context.hh"
|
2012-09-26 14:22:24 +02:00
|
|
|
#include "editor.hh"
|
2012-09-03 14:22:02 +02:00
|
|
|
#include "register_manager.hh"
|
2012-10-09 19:15:05 +02:00
|
|
|
#include "utf8.hh"
|
2012-09-03 14:22:02 +02:00
|
|
|
|
|
|
|
#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
|
2012-09-24 14:03:04 +02:00
|
|
|
{
|
|
|
|
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;
|
2012-09-24 14:03:04 +02:00
|
|
|
|
|
|
|
virtual void on_key(const Key& key, Context& context) = 0;
|
|
|
|
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-09-24 14:03:04 +02:00
|
|
|
};
|
|
|
|
|
2012-10-17 13:14:03 +02:00
|
|
|
namespace InputModes
|
2012-09-26 14:22:24 +02:00
|
|
|
{
|
|
|
|
|
2012-10-17 13:14:03 +02:00
|
|
|
class Normal : public InputMode
|
2012-09-03 14:22:02 +02:00
|
|
|
{
|
|
|
|
public:
|
2012-10-17 13:14:03 +02:00
|
|
|
Normal(InputHandler& input_handler)
|
|
|
|
: InputMode(input_handler)
|
2012-09-03 14:22:02 +02:00
|
|
|
{
|
|
|
|
}
|
|
|
|
|
|
|
|
void on_key(const Key& key, Context& context) 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())
|
|
|
|
{
|
2012-09-26 20:07:06 +02:00
|
|
|
context.numeric_param() = m_count;
|
2012-09-03 14:22:02 +02:00
|
|
|
it->second(context);
|
|
|
|
}
|
2012-11-27 18:52:43 +01:00
|
|
|
m_count = 0;
|
2012-09-03 14:22:02 +02:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
private:
|
|
|
|
int m_count = 0;
|
|
|
|
};
|
|
|
|
|
2012-10-29 18:59:41 +01:00
|
|
|
String codepoint_to_str(Codepoint cp)
|
|
|
|
{
|
|
|
|
std::string str;
|
|
|
|
auto it = back_inserter(str);
|
|
|
|
utf8::dump(it, cp);
|
|
|
|
return String(str);
|
|
|
|
}
|
|
|
|
|
2012-10-13 21:57:03 +02:00
|
|
|
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::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
|
|
|
|
{
|
2012-10-29 18:59:41 +01:00
|
|
|
m_line = m_line.substr(0, m_cursor_pos) + codepoint_to_str(key.key)
|
2012-10-13 21:57:03 +02:00
|
|
|
+ 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
|
2012-09-03 14:22:02 +02:00
|
|
|
{
|
|
|
|
public:
|
2012-09-26 14:22:24 +02:00
|
|
|
Menu(Context& context, const memoryview<String>& choices,
|
|
|
|
MenuCallback callback)
|
2012-10-17 13:14:03 +02:00
|
|
|
: InputMode(context.input_handler()),
|
2012-10-15 01:46:52 +02:00
|
|
|
m_callback(callback), m_choices(choices.begin(), choices.end()),
|
|
|
|
m_selected(m_choices.begin())
|
2012-09-03 14:22:02 +02:00
|
|
|
{
|
2012-09-30 15:18:37 +02:00
|
|
|
DisplayCoord menu_pos{ context.window().dimensions().line, 0_char };
|
|
|
|
context.ui().menu_show(choices, menu_pos, MenuStyle::Prompt);
|
2012-09-03 19:20:41 +02:00
|
|
|
}
|
|
|
|
|
2012-09-03 14:22:02 +02:00
|
|
|
void on_key(const Key& key, Context& context) override
|
|
|
|
{
|
2012-10-15 01:46:52 +02:00
|
|
|
auto match_filter = [this](const String& str) {
|
|
|
|
return boost::regex_match(str.begin(), str.end(), m_filter);
|
|
|
|
};
|
|
|
|
|
2012-09-03 14:22:02 +02:00
|
|
|
if (key == Key(Key::Modifiers::Control, 'm'))
|
|
|
|
{
|
2012-09-26 14:13:04 +02:00
|
|
|
context.ui().menu_hide();
|
2012-10-15 01:46:52 +02:00
|
|
|
context.ui().print_status("");
|
2012-09-24 19:39:40 +02:00
|
|
|
reset_normal_mode();
|
2012-11-27 18:52:43 +01:00
|
|
|
int selected = m_selected - m_choices.begin();
|
|
|
|
m_callback(selected, context);
|
2012-10-15 01:46:52 +02:00
|
|
|
return;
|
2012-09-03 14:22:02 +02:00
|
|
|
}
|
2012-11-08 14:05:00 +01:00
|
|
|
else if (key == Key::Escape or key == Key{ Key::Modifiers::Control, 'c' })
|
2012-09-03 14:22:02 +02:00
|
|
|
{
|
2012-10-15 01:46:52 +02:00
|
|
|
if (m_edit_filter)
|
|
|
|
{
|
|
|
|
m_edit_filter = false;
|
|
|
|
m_filter = boost::regex(".*");
|
|
|
|
m_filter_editor.reset("");
|
|
|
|
context.ui().print_status("");
|
|
|
|
}
|
|
|
|
else
|
|
|
|
{
|
|
|
|
context.ui().menu_hide();
|
|
|
|
reset_normal_mode();
|
|
|
|
}
|
2012-09-03 14:22:02 +02:00
|
|
|
}
|
2012-10-15 01:46:52 +02:00
|
|
|
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'))
|
2012-09-03 14:22:02 +02:00
|
|
|
{
|
2012-10-15 01:46:52 +02:00
|
|
|
auto it = std::find_if(m_selected+1, m_choices.end(), match_filter);
|
|
|
|
if (it == m_choices.end())
|
2012-10-29 19:17:37 +01:00
|
|
|
it = std::find_if(m_choices.begin(), m_selected, match_filter);
|
2012-10-15 01:46:52 +02:00
|
|
|
m_selected = it;
|
|
|
|
context.ui().menu_select(m_selected - m_choices.begin());
|
|
|
|
}
|
|
|
|
else if (key == Key::Up or
|
|
|
|
key == Key::BackTab or
|
|
|
|
key == Key(Key::Modifiers::Control, 'p') or
|
|
|
|
key == Key(Key::Modifiers::None, 'k'))
|
|
|
|
{
|
2012-10-29 19:17:37 +01:00
|
|
|
ChoiceList::const_reverse_iterator selected(m_selected+1);
|
|
|
|
auto it = std::find_if(selected+1, m_choices.rend(), match_filter);
|
2012-10-15 01:46:52 +02:00
|
|
|
if (it == m_choices.rend())
|
|
|
|
it = std::find_if(m_choices.rbegin(), selected, match_filter);
|
|
|
|
m_selected = it.base()-1;
|
|
|
|
context.ui().menu_select(m_selected - m_choices.begin());
|
|
|
|
}
|
|
|
|
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);
|
|
|
|
m_selected = it;
|
|
|
|
context.ui().menu_select(m_selected - m_choices.begin());
|
2012-09-03 14:22:02 +02:00
|
|
|
}
|
2012-10-15 01:46:52 +02:00
|
|
|
|
|
|
|
if (m_edit_filter)
|
|
|
|
context.ui().print_status("/" + m_filter_editor.line(),
|
|
|
|
m_filter_editor.cursor_pos() + 1);
|
2012-09-03 14:22:02 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
private:
|
|
|
|
MenuCallback m_callback;
|
2012-10-15 01:46:52 +02:00
|
|
|
|
|
|
|
using ChoiceList = std::vector<String>;
|
|
|
|
const ChoiceList m_choices;
|
|
|
|
ChoiceList::const_iterator m_selected;
|
|
|
|
|
|
|
|
boost::regex m_filter = boost::regex(".*");
|
|
|
|
bool m_edit_filter = false;
|
|
|
|
LineEditor m_filter_editor;
|
2012-09-03 14:22:02 +02:00
|
|
|
};
|
|
|
|
|
2012-11-29 19:56:34 +01:00
|
|
|
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
|
2012-09-03 14:22:02 +02:00
|
|
|
{
|
|
|
|
public:
|
2012-09-26 14:22:24 +02:00
|
|
|
Prompt(Context& context, const String& prompt,
|
|
|
|
Completer completer, PromptCallback callback)
|
2012-10-17 13:14:03 +02:00
|
|
|
: InputMode(context.input_handler()), m_prompt(prompt),
|
2012-09-11 14:27:21 +02:00
|
|
|
m_completer(completer), m_callback(callback)
|
2012-09-03 14:22:02 +02:00
|
|
|
{
|
|
|
|
m_history_it = ms_history[m_prompt].end();
|
2012-10-11 00:41:48 +02:00
|
|
|
context.ui().print_status(m_prompt, m_prompt.char_length());
|
2012-09-03 19:20:41 +02:00
|
|
|
}
|
|
|
|
|
2012-09-03 14:22:02 +02:00
|
|
|
void on_key(const Key& key, Context& context) override
|
|
|
|
{
|
|
|
|
std::vector<String>& history = ms_history[m_prompt];
|
2012-10-13 21:57:03 +02:00
|
|
|
const String& line = m_line_editor.line();
|
2012-11-07 20:36:45 +01:00
|
|
|
|
|
|
|
if (m_insert_reg)
|
|
|
|
{
|
|
|
|
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
|
2012-09-03 14:22:02 +02:00
|
|
|
{
|
|
|
|
std::vector<String>::iterator it;
|
2012-10-13 21:57:03 +02:00
|
|
|
while ((it = find(history, line)) != history.end())
|
2012-09-03 14:22:02 +02:00
|
|
|
history.erase(it);
|
|
|
|
|
2012-10-13 21:57:03 +02:00
|
|
|
history.push_back(line);
|
2012-09-26 14:13:04 +02:00
|
|
|
context.ui().print_status("");
|
|
|
|
context.ui().menu_hide();
|
2012-09-24 19:39:40 +02:00
|
|
|
reset_normal_mode();
|
2012-09-11 14:27:21 +02:00
|
|
|
// call callback after reset_normal_mode so that callback
|
|
|
|
// may change the mode
|
2012-12-05 19:22:40 +01:00
|
|
|
m_callback(line, PromptEvent::Validate, context);
|
2012-09-03 14:22:02 +02:00
|
|
|
return;
|
|
|
|
}
|
2012-11-08 14:05:00 +01:00
|
|
|
else if (key == Key::Escape or key == Key { Key::Modifiers::Control, 'c' })
|
2012-09-03 14:22:02 +02:00
|
|
|
{
|
2012-09-26 14:13:04 +02:00
|
|
|
context.ui().print_status("");
|
|
|
|
context.ui().menu_hide();
|
2012-09-24 19:39:40 +02:00
|
|
|
reset_normal_mode();
|
2012-12-05 19:22:40 +01:00
|
|
|
m_callback(line, PromptEvent::Abort, context);
|
2012-09-03 14:22:02 +02:00
|
|
|
return;
|
|
|
|
}
|
2012-10-13 21:57:03 +02:00
|
|
|
else if (key == Key{Key::Modifiers::Control, 'r'})
|
|
|
|
{
|
2012-11-07 20:36:45 +01:00
|
|
|
m_insert_reg = true;
|
2012-10-13 21:57:03 +02:00
|
|
|
}
|
2012-09-07 20:22:19 +02:00
|
|
|
else if (key == Key::Up or
|
|
|
|
key == Key{Key::Modifiers::Control, 'p'})
|
2012-09-03 14:22:02 +02:00
|
|
|
{
|
|
|
|
if (m_history_it != history.begin())
|
|
|
|
{
|
|
|
|
if (m_history_it == history.end())
|
2012-10-13 21:57:03 +02:00
|
|
|
m_prefix = line;
|
2012-09-04 13:48:04 +02:00
|
|
|
auto it = m_history_it;
|
|
|
|
// search for the previous history entry matching typed prefix
|
2012-10-13 21:57:03 +02:00
|
|
|
ByteCount prefix_length = m_prefix.length();
|
2012-09-04 13:48:04 +02:00
|
|
|
do
|
|
|
|
{
|
|
|
|
--it;
|
2012-10-13 21:57:03 +02:00
|
|
|
if (it->substr(0, prefix_length) == m_prefix)
|
2012-09-04 13:48:04 +02:00
|
|
|
{
|
|
|
|
m_history_it = it;
|
2012-10-13 21:57:03 +02:00
|
|
|
m_line_editor.reset(*it);
|
2012-09-04 13:48:04 +02:00
|
|
|
break;
|
|
|
|
}
|
|
|
|
} while (it != history.begin());
|
2012-09-03 14:22:02 +02:00
|
|
|
}
|
|
|
|
}
|
2012-09-07 20:22:19 +02:00
|
|
|
else if (key == Key::Down or // next
|
|
|
|
key == Key{Key::Modifiers::Control, 'n'})
|
2012-09-03 14:22:02 +02:00
|
|
|
{
|
|
|
|
if (m_history_it != history.end())
|
|
|
|
{
|
2012-10-13 21:57:03 +02:00
|
|
|
ByteCount prefix_length = m_prefix.length();
|
2012-09-04 13:48:04 +02:00
|
|
|
// search for the next history entry matching typed prefix
|
2012-09-03 14:22:02 +02:00
|
|
|
++m_history_it;
|
2012-09-04 13:48:04 +02:00
|
|
|
while (m_history_it != history.end() and
|
2012-10-13 21:57:03 +02:00
|
|
|
m_history_it->substr(0, prefix_length) != m_prefix)
|
2012-09-04 13:48:04 +02:00
|
|
|
++m_history_it;
|
|
|
|
|
2012-09-03 14:22:02 +02:00
|
|
|
if (m_history_it != history.end())
|
2012-10-13 21:57:03 +02:00
|
|
|
m_line_editor.reset(*m_history_it);
|
2012-09-03 14:22:02 +02:00
|
|
|
else
|
2012-10-13 21:57:03 +02:00
|
|
|
m_line_editor.reset(m_prefix);
|
2012-09-03 14:22:02 +02:00
|
|
|
}
|
|
|
|
}
|
2012-09-12 19:09:27 +02:00
|
|
|
else if (key == Key(Key::Modifiers::Control, 'i') or // tab completion
|
2012-09-11 14:27:21 +02:00
|
|
|
key == Key::BackTab)
|
2012-09-03 14:22:02 +02:00
|
|
|
{
|
2012-09-11 14:27:21 +02:00
|
|
|
const bool reverse = (key == Key::BackTab);
|
2012-09-12 19:09:27 +02:00
|
|
|
CandidateList& candidates = m_completions.candidates;
|
|
|
|
// first try, we need to ask our completer for completions
|
2012-09-03 14:22:02 +02:00
|
|
|
if (m_current_completion == -1)
|
|
|
|
{
|
2012-10-13 21:57:03 +02:00
|
|
|
m_completions = m_completer(context, line,
|
|
|
|
line.byte_count_to(m_line_editor.cursor_pos()));
|
2012-09-11 14:27:21 +02:00
|
|
|
if (candidates.empty())
|
2012-09-03 14:22:02 +02:00
|
|
|
return;
|
|
|
|
|
2012-09-26 14:13:04 +02:00
|
|
|
context.ui().menu_hide();
|
2012-09-30 15:18:37 +02:00
|
|
|
DisplayCoord menu_pos{ context.window().dimensions().line, 0_char };
|
|
|
|
context.ui().menu_show(candidates, menu_pos, MenuStyle::Prompt);
|
2012-11-29 19:56:34 +01:00
|
|
|
|
|
|
|
bool use_common_prefix = context.options()["complete_prefix"].as_int();
|
2012-12-07 19:17:49 +01:00
|
|
|
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);
|
2012-11-29 19:56:34 +01:00
|
|
|
|
|
|
|
auto it = find(candidates, prefix);
|
|
|
|
if (it == candidates.end())
|
|
|
|
{
|
|
|
|
m_current_completion = use_common_prefix ? candidates.size() : 0;
|
2012-09-12 19:09:27 +02:00
|
|
|
candidates.push_back(std::move(prefix));
|
2012-11-29 19:56:34 +01:00
|
|
|
}
|
|
|
|
else
|
|
|
|
m_current_completion = use_common_prefix ? it - candidates.begin() : 0;
|
2012-09-03 14:22:02 +02:00
|
|
|
}
|
2012-11-29 19:56:34 +01:00
|
|
|
else if (not reverse and ++m_current_completion >= candidates.size())
|
2012-09-11 14:27:21 +02:00
|
|
|
m_current_completion = 0;
|
2012-11-29 19:56:34 +01:00
|
|
|
else if (reverse and --m_current_completion < 0)
|
2012-09-12 19:09:27 +02:00
|
|
|
m_current_completion = candidates.size()-1;
|
2012-09-03 14:22:02 +02:00
|
|
|
|
2012-09-12 19:09:27 +02:00
|
|
|
const String& completion = candidates[m_current_completion];
|
2012-09-26 14:13:04 +02:00
|
|
|
context.ui().menu_select(m_current_completion);
|
2012-10-13 21:57:03 +02:00
|
|
|
|
|
|
|
m_line_editor.insert_from(line.char_count_to(m_completions.start),
|
|
|
|
completion);
|
2012-12-11 13:44:14 +01:00
|
|
|
|
|
|
|
// when we have only one completion candidate, make next tab complete
|
|
|
|
// from the new content.
|
|
|
|
if (candidates.size() == 1)
|
|
|
|
m_current_completion = -1;
|
2012-09-03 14:22:02 +02:00
|
|
|
}
|
|
|
|
else
|
|
|
|
{
|
2012-09-26 14:13:04 +02:00
|
|
|
context.ui().menu_hide();
|
2012-09-03 14:22:02 +02:00
|
|
|
m_current_completion = -1;
|
2012-10-13 21:57:03 +02:00
|
|
|
m_line_editor.handle_key(key);
|
2012-09-03 14:22:02 +02:00
|
|
|
}
|
2012-10-13 21:57:03 +02:00
|
|
|
context.ui().print_status(m_prompt + line,
|
|
|
|
m_prompt.char_length() + m_line_editor.cursor_pos());
|
2012-12-05 19:22:40 +01:00
|
|
|
m_callback(line, PromptEvent::Change, context);
|
2012-09-03 14:22:02 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
private:
|
|
|
|
PromptCallback m_callback;
|
|
|
|
Completer m_completer;
|
|
|
|
const String m_prompt;
|
|
|
|
Completions m_completions;
|
|
|
|
int m_current_completion = -1;
|
2012-10-13 21:57:03 +02:00
|
|
|
String m_prefix;
|
|
|
|
LineEditor m_line_editor;
|
2012-11-07 20:36:45 +01:00
|
|
|
bool m_insert_reg = false;
|
2012-09-03 14:22:02 +02:00
|
|
|
|
|
|
|
static std::unordered_map<String, std::vector<String>> ms_history;
|
|
|
|
std::vector<String>::iterator m_history_it;
|
|
|
|
};
|
2012-09-26 14:22:24 +02:00
|
|
|
std::unordered_map<String, std::vector<String>> Prompt::ms_history;
|
2012-09-03 14:22:02 +02:00
|
|
|
|
2012-10-17 13:14:03 +02:00
|
|
|
class NextKey : public InputMode
|
2012-09-05 00:21:19 +02:00
|
|
|
{
|
|
|
|
public:
|
2012-10-17 13:14:03 +02:00
|
|
|
NextKey(InputHandler& input_handler, KeyCallback callback)
|
|
|
|
: InputMode(input_handler), m_callback(callback) {}
|
2012-09-05 00:21:19 +02:00
|
|
|
|
|
|
|
void on_key(const Key& key, Context& context) override
|
|
|
|
{
|
2012-09-24 19:39:40 +02:00
|
|
|
reset_normal_mode();
|
2012-11-27 18:52:43 +01:00
|
|
|
m_callback(key, context);
|
2012-09-05 00:21:19 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
private:
|
|
|
|
KeyCallback m_callback;
|
|
|
|
};
|
|
|
|
|
2012-09-30 16:24:06 +02:00
|
|
|
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);
|
2012-10-08 19:14:48 +02:00
|
|
|
m_completions = complete_word(context, prefix, begin);
|
2012-09-30 16:24:06 +02:00
|
|
|
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,
|
2012-10-08 19:14:48 +02:00
|
|
|
const String& prefix,
|
|
|
|
const BufferIterator& pos)
|
2012-09-30 16:24:06 +02:00
|
|
|
{
|
|
|
|
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;
|
2012-10-08 19:14:48 +02:00
|
|
|
for (; it != end; ++it)
|
2012-09-30 16:24:06 +02:00
|
|
|
{
|
|
|
|
auto& match = (*it)[0];
|
2012-10-08 19:14:48 +02:00
|
|
|
if (match.first <= pos and pos < match.second)
|
|
|
|
continue;
|
|
|
|
|
2012-09-30 16:24:06 +02:00
|
|
|
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:
|
2012-09-26 20:07:06 +02:00
|
|
|
Insert(Context& context, InsertMode mode)
|
2012-10-17 13:14:03 +02:00
|
|
|
: InputMode(context.input_handler()),
|
2012-09-26 20:07:06 +02:00
|
|
|
m_inserter(context.editor(), mode)
|
2012-09-05 14:27:14 +02:00
|
|
|
{
|
2012-09-26 20:07:06 +02:00
|
|
|
context.last_insert().first = mode;
|
|
|
|
context.last_insert().second.clear();
|
2012-09-05 14:27:14 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
void on_key(const Key& key, Context& context) override
|
|
|
|
{
|
2012-09-26 20:07:06 +02:00
|
|
|
context.last_insert().second.push_back(key);
|
2012-09-05 14:27:14 +02:00
|
|
|
if (m_insert_reg)
|
|
|
|
{
|
|
|
|
if (key.modifiers == Key::Modifiers::None)
|
|
|
|
m_inserter.insert(RegisterManager::instance()[key.key].values(context));
|
|
|
|
m_insert_reg = false;
|
|
|
|
return;
|
|
|
|
}
|
2012-09-30 16:24:06 +02:00
|
|
|
bool reset_completer = true;
|
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
|
|
|
{
|
2012-11-08 14:05:00 +01:00
|
|
|
m_completer.reset(context);
|
|
|
|
reset_normal_mode();
|
|
|
|
}
|
|
|
|
else if (key == Key::Backspace)
|
|
|
|
m_inserter.erase();
|
|
|
|
else if (key == Key::Left)
|
2012-11-26 19:38:07 +01:00
|
|
|
m_inserter.move_cursors(-1_char);
|
2012-11-08 14:05:00 +01:00
|
|
|
else if (key == Key::Right)
|
2012-11-26 19:38:07 +01:00
|
|
|
m_inserter.move_cursors(1_char);
|
2012-11-08 14:05:00 +01:00
|
|
|
else if (key == Key::Up)
|
2012-11-26 19:38:07 +01:00
|
|
|
m_inserter.move_cursors(-1_line);
|
2012-11-08 14:05:00 +01:00
|
|
|
else if (key == Key::Down)
|
2012-11-26 19:38:07 +01:00
|
|
|
m_inserter.move_cursors(1_line);
|
2012-11-08 14:05:00 +01:00
|
|
|
else if (key.modifiers == Key::Modifiers::None)
|
|
|
|
{
|
|
|
|
m_inserter.insert(codepoint_to_str(key.key));
|
|
|
|
if (m_inserter.editor().selections().size() == 1 and
|
|
|
|
is_word(key.key))
|
2012-09-05 14:27:14 +02:00
|
|
|
{
|
2012-09-30 16:24:06 +02:00
|
|
|
m_completer.reset(context);
|
|
|
|
reset_completer = false;
|
2012-11-08 14:05:00 +01:00
|
|
|
m_completer.select(context, 0);
|
2012-09-05 14:27:14 +02:00
|
|
|
}
|
|
|
|
}
|
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' })
|
|
|
|
{
|
|
|
|
m_completer.select(context, 1);
|
|
|
|
reset_completer = false;
|
|
|
|
}
|
|
|
|
else if ( key == Key{ Key::Modifiers::Control, 'p' })
|
|
|
|
{
|
|
|
|
m_completer.select(context, -1);
|
|
|
|
reset_completer = false;
|
|
|
|
}
|
|
|
|
|
2012-09-30 16:24:06 +02:00
|
|
|
if (reset_completer)
|
|
|
|
m_completer.reset(context);
|
2012-09-05 14:27:14 +02:00
|
|
|
}
|
|
|
|
private:
|
|
|
|
bool m_insert_reg = false;
|
|
|
|
IncrementalInserter m_inserter;
|
2012-09-30 16:24:06 +02:00
|
|
|
WordCompleter m_completer;
|
2012-09-05 14:27:14 +02:00
|
|
|
};
|
|
|
|
|
2012-09-26 14:22:24 +02:00
|
|
|
}
|
|
|
|
|
2012-10-17 13:14:03 +02:00
|
|
|
void InputMode::reset_normal_mode()
|
2012-09-26 14:22:24 +02:00
|
|
|
{
|
2012-11-27 18:52:43 +01:00
|
|
|
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));
|
2012-09-26 14:22:24 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2012-10-17 13:14:03 +02:00
|
|
|
InputHandler::InputHandler()
|
|
|
|
: m_mode(new InputModes::Normal(*this))
|
2012-09-05 14:27:14 +02:00
|
|
|
{
|
|
|
|
}
|
|
|
|
|
2012-10-17 13:14:03 +02:00
|
|
|
InputHandler::~InputHandler()
|
2012-09-24 14:03:04 +02:00
|
|
|
{
|
|
|
|
}
|
|
|
|
|
2012-10-17 13:14:03 +02:00
|
|
|
void InputHandler::insert(Context& context, InsertMode mode)
|
2012-09-05 14:27:14 +02:00
|
|
|
{
|
2012-10-17 13:14:03 +02:00
|
|
|
assert(&context.input_handler() == this);
|
2012-11-27 18:52:43 +01:00
|
|
|
m_mode_trash.emplace_back(std::move(m_mode));
|
2012-10-17 13:14:03 +02:00
|
|
|
m_mode.reset(new InputModes::Insert(context, mode));
|
2012-09-05 14:27:14 +02:00
|
|
|
}
|
|
|
|
|
2012-10-17 13:14:03 +02:00
|
|
|
void InputHandler::repeat_last_insert(Context& context)
|
2012-09-03 14:22:02 +02:00
|
|
|
{
|
2012-10-17 13:14:03 +02:00
|
|
|
assert(&context.input_handler() == this);
|
2012-09-26 20:07:06 +02:00
|
|
|
Context::Insertion& last_insert = context.last_insert();
|
|
|
|
if (last_insert.second.empty())
|
2012-09-07 14:28:27 +02:00
|
|
|
return;
|
|
|
|
|
2012-09-05 14:27:14 +02:00
|
|
|
std::vector<Key> keys;
|
2012-09-26 20:07:06 +02:00
|
|
|
swap(keys, 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.
|
2012-11-27 18:52:43 +01:00
|
|
|
m_mode_trash.emplace_back(std::move(m_mode));
|
2012-10-17 13:14:03 +02:00
|
|
|
m_mode.reset(new InputModes::Insert(context, last_insert.first));
|
2012-09-05 14:27:14 +02:00
|
|
|
for (auto& key : keys)
|
|
|
|
m_mode->on_key(key, context);
|
2012-10-17 13:14:03 +02:00
|
|
|
assert(dynamic_cast<InputModes::Normal*>(m_mode.get()) != nullptr);
|
2012-09-03 14:22:02 +02:00
|
|
|
}
|
|
|
|
|
2012-10-17 13:14:03 +02:00
|
|
|
void InputHandler::prompt(const String& prompt, Completer completer,
|
2012-09-26 14:13:04 +02:00
|
|
|
PromptCallback callback, Context& context)
|
2012-09-03 14:22:02 +02:00
|
|
|
{
|
2012-10-17 13:14:03 +02:00
|
|
|
assert(&context.input_handler() == this);
|
2012-11-27 18:52:43 +01:00
|
|
|
m_mode_trash.emplace_back(std::move(m_mode));
|
2012-10-17 13:14:03 +02:00
|
|
|
m_mode.reset(new InputModes::Prompt(context, prompt, completer, callback));
|
2012-09-03 14:22:02 +02:00
|
|
|
}
|
|
|
|
|
2012-10-17 13:14:03 +02:00
|
|
|
void InputHandler::menu(const memoryview<String>& choices,
|
2012-09-26 14:13:04 +02:00
|
|
|
MenuCallback callback, Context& context)
|
2012-09-03 14:22:02 +02:00
|
|
|
{
|
2012-10-17 13:14:03 +02:00
|
|
|
assert(&context.input_handler() == this);
|
2012-11-27 18:52:43 +01:00
|
|
|
m_mode_trash.emplace_back(std::move(m_mode));
|
2012-10-17 13:14:03 +02:00
|
|
|
m_mode.reset(new InputModes::Menu(context, choices, callback));
|
2012-09-03 14:22:02 +02:00
|
|
|
}
|
|
|
|
|
2012-10-17 13:14:03 +02:00
|
|
|
void InputHandler::on_next_key(KeyCallback callback)
|
2012-09-05 00:21:19 +02:00
|
|
|
{
|
2012-11-27 18:52:43 +01:00
|
|
|
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));
|
2012-09-05 00:21:19 +02:00
|
|
|
}
|
|
|
|
|
2012-10-29 18:59:41 +01:00
|
|
|
bool is_valid(const Key& key)
|
|
|
|
{
|
|
|
|
return key != Key::Invalid and key.key <= 0x10FFFF;
|
|
|
|
}
|
|
|
|
|
2012-10-28 09:26:54 +01:00
|
|
|
void InputHandler::handle_available_inputs(Context& context)
|
2012-09-03 14:22:02 +02:00
|
|
|
{
|
2012-11-27 18:52:43 +01:00
|
|
|
m_mode_trash.clear();
|
2012-10-28 09:26:54 +01:00
|
|
|
while (context.ui().is_key_available())
|
|
|
|
{
|
|
|
|
Key key = context.ui().get_key();
|
2012-10-29 18:59:41 +01:00
|
|
|
if (is_valid(key))
|
2012-10-28 09:26:54 +01:00
|
|
|
m_mode->on_key(key, context);
|
2012-11-27 18:52:43 +01:00
|
|
|
m_mode_trash.clear();
|
2012-10-28 09:26:54 +01:00
|
|
|
}
|
2012-09-03 14:22:02 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
}
|