2013-11-14 22:12:59 +01:00
|
|
|
#include "input_handler.hh"
|
|
|
|
|
|
|
|
#include "buffer_manager.hh"
|
2014-04-28 22:54:00 +02:00
|
|
|
#include "buffer_utils.hh"
|
2013-11-14 22:12:59 +01:00
|
|
|
#include "client.hh"
|
2014-04-28 22:54:00 +02:00
|
|
|
#include "event_manager.hh"
|
2014-07-11 01:27:04 +02:00
|
|
|
#include "face_registry.hh"
|
2014-04-28 22:54:00 +02:00
|
|
|
#include "insert_completer.hh"
|
|
|
|
#include "normal.hh"
|
2014-10-13 14:12:33 +02:00
|
|
|
#include "regex.hh"
|
2014-04-28 22:54:00 +02:00
|
|
|
#include "register_manager.hh"
|
2014-12-16 19:57:19 +01:00
|
|
|
#include "unordered_map.hh"
|
2014-04-28 22:54:00 +02:00
|
|
|
#include "user_interface.hh"
|
|
|
|
#include "utf8.hh"
|
|
|
|
#include "window.hh"
|
2013-11-14 22:12:59 +01:00
|
|
|
|
|
|
|
namespace Kakoune
|
|
|
|
{
|
|
|
|
|
|
|
|
class InputMode
|
|
|
|
{
|
|
|
|
public:
|
|
|
|
InputMode(InputHandler& input_handler) : m_input_handler(input_handler) {}
|
|
|
|
virtual ~InputMode() {}
|
|
|
|
InputMode(const InputMode&) = delete;
|
|
|
|
InputMode& operator=(const InputMode&) = delete;
|
|
|
|
|
|
|
|
virtual void on_key(Key key) = 0;
|
2014-01-30 13:01:19 +01:00
|
|
|
virtual void on_enabled() {}
|
|
|
|
virtual void on_disabled() {}
|
2013-11-14 22:12:59 +01:00
|
|
|
Context& context() const { return m_input_handler.context(); }
|
|
|
|
|
2014-09-10 20:06:53 +02:00
|
|
|
virtual DisplayLine mode_line() const = 0;
|
2013-11-14 22:12:59 +01:00
|
|
|
|
|
|
|
virtual KeymapMode keymap_mode() const = 0;
|
|
|
|
|
|
|
|
using Insertion = InputHandler::Insertion;
|
|
|
|
Insertion& last_insert() { return m_input_handler.m_last_insert; }
|
|
|
|
|
|
|
|
protected:
|
|
|
|
void reset_normal_mode();
|
|
|
|
private:
|
|
|
|
InputHandler& m_input_handler;
|
|
|
|
};
|
|
|
|
|
|
|
|
namespace InputModes
|
|
|
|
{
|
|
|
|
|
2014-11-12 00:32:52 +01:00
|
|
|
static constexpr std::chrono::milliseconds idle_timeout{50};
|
2013-11-14 22:12:59 +01:00
|
|
|
static constexpr std::chrono::milliseconds fs_check_timeout{500};
|
|
|
|
|
|
|
|
class Normal : public InputMode
|
|
|
|
{
|
|
|
|
public:
|
2014-12-19 00:12:58 +01:00
|
|
|
Normal(InputHandler& input_handler, bool with_timers = true)
|
2013-11-14 22:12:59 +01:00
|
|
|
: InputMode(input_handler),
|
2014-12-19 00:12:58 +01:00
|
|
|
m_idle_timer{Clock::now() + idle_timeout,
|
|
|
|
context().flags() & Context::Flags::Transient ?
|
|
|
|
Timer::Callback() : Timer::Callback([this](Timer& timer) {
|
2013-11-14 22:12:59 +01:00
|
|
|
context().hooks().run_hook("NormalIdle", "", context());
|
2014-12-19 00:12:58 +01:00
|
|
|
})},
|
|
|
|
m_fs_check_timer{Clock::now() + fs_check_timeout,
|
|
|
|
context().flags() & Context::Flags::Transient ?
|
|
|
|
Timer::Callback() : Timer::Callback([this](Timer& timer) {
|
2013-11-14 22:12:59 +01:00
|
|
|
if (not context().has_client())
|
|
|
|
return;
|
|
|
|
context().client().check_buffer_fs_timestamp();
|
|
|
|
timer.set_next_date(Clock::now() + fs_check_timeout);
|
2014-12-19 00:12:58 +01:00
|
|
|
})}
|
2014-01-30 13:01:19 +01:00
|
|
|
{}
|
|
|
|
|
|
|
|
void on_enabled() override
|
2013-11-14 22:12:59 +01:00
|
|
|
{
|
2014-01-30 13:01:19 +01:00
|
|
|
if (not context().has_client())
|
|
|
|
return;
|
2014-08-07 22:51:36 +02:00
|
|
|
// Do not check buffer timestamp, we might already be executing the
|
|
|
|
// on next key of a buffer timestamp check.
|
2014-01-30 13:01:19 +01:00
|
|
|
m_fs_check_timer.set_next_date(Clock::now() + fs_check_timeout);
|
|
|
|
|
2013-11-14 22:12:59 +01:00
|
|
|
context().hooks().run_hook("NormalBegin", "", context());
|
|
|
|
}
|
|
|
|
|
2014-01-30 13:01:19 +01:00
|
|
|
void on_disabled() override
|
2013-11-14 22:12:59 +01:00
|
|
|
{
|
|
|
|
context().hooks().run_hook("NormalEnd", "", context());
|
|
|
|
}
|
|
|
|
|
|
|
|
void on_key(Key key) override
|
|
|
|
{
|
2014-11-28 14:58:36 +01:00
|
|
|
if (m_waiting_for_reg)
|
|
|
|
{
|
|
|
|
if (key.modifiers == Key::Modifiers::None)
|
|
|
|
m_params.reg = key.key;
|
|
|
|
m_waiting_for_reg = false;
|
|
|
|
return;
|
|
|
|
}
|
2014-06-21 23:06:02 +02:00
|
|
|
bool do_restore_hooks = false;
|
|
|
|
auto restore_hooks = on_scope_end([&, this]{
|
|
|
|
if (do_restore_hooks)
|
|
|
|
{
|
2014-12-05 14:47:09 +01:00
|
|
|
context().user_hooks_support().enable();
|
2014-07-26 00:47:47 +02:00
|
|
|
m_hooks_disabled = false;
|
2014-06-21 23:06:02 +02:00
|
|
|
}
|
|
|
|
});
|
|
|
|
|
2014-07-24 20:18:39 +02:00
|
|
|
context().print_status({});
|
|
|
|
if (context().has_ui())
|
|
|
|
context().ui().info_hide();
|
2014-07-17 20:37:30 +02:00
|
|
|
|
2013-11-14 22:12:59 +01:00
|
|
|
if (key.modifiers == Key::Modifiers::None and isdigit(key.key))
|
2014-11-28 14:58:36 +01:00
|
|
|
m_params.count = m_params.count * 10 + key.key - '0';
|
2014-05-25 20:14:44 +02:00
|
|
|
else if (key == Key::Backspace)
|
2014-11-28 14:58:36 +01:00
|
|
|
m_params.count /= 10;
|
2014-06-21 23:06:02 +02:00
|
|
|
else if (key == '\\')
|
2014-07-26 00:47:47 +02:00
|
|
|
{
|
2014-11-12 21:31:12 +01:00
|
|
|
if (not m_hooks_disabled)
|
|
|
|
{
|
|
|
|
m_hooks_disabled = true;
|
2014-12-05 14:47:09 +01:00
|
|
|
context().user_hooks_support().disable();
|
2014-11-12 21:31:12 +01:00
|
|
|
}
|
2014-07-26 00:47:47 +02:00
|
|
|
}
|
2014-11-28 14:58:36 +01:00
|
|
|
else if (key == '"')
|
|
|
|
{
|
|
|
|
m_waiting_for_reg = true;
|
|
|
|
}
|
2013-11-14 22:12:59 +01:00
|
|
|
else
|
|
|
|
{
|
2014-07-26 00:47:47 +02:00
|
|
|
if (m_hooks_disabled)
|
2014-06-21 23:06:02 +02:00
|
|
|
do_restore_hooks = true;
|
2013-11-14 22:12:59 +01:00
|
|
|
auto it = keymap.find(key);
|
|
|
|
if (it != keymap.end())
|
2014-07-08 21:25:09 +02:00
|
|
|
{
|
|
|
|
if (context().options()["autoinfo"].get<int>() >= 2 and context().has_ui())
|
2014-11-08 20:08:23 +01:00
|
|
|
context().ui().info_show(key_to_str(key), it->second.docstring, CharCoord{},
|
|
|
|
get_face("Information"), InfoStyle::Prompt);
|
2014-11-28 14:58:36 +01:00
|
|
|
it->second.func(context(), m_params);
|
2014-07-08 21:25:09 +02:00
|
|
|
}
|
2014-11-28 14:58:36 +01:00
|
|
|
m_params = { 0, '"' };
|
2013-11-14 22:12:59 +01:00
|
|
|
}
|
|
|
|
context().hooks().run_hook("NormalKey", key_to_str(key), context());
|
|
|
|
m_idle_timer.set_next_date(Clock::now() + idle_timeout);
|
|
|
|
}
|
|
|
|
|
2014-09-10 20:06:53 +02:00
|
|
|
DisplayLine mode_line() const override
|
2013-11-14 22:12:59 +01:00
|
|
|
{
|
2014-09-10 20:06:53 +02:00
|
|
|
AtomList atoms = { { to_string(context().selections().size()) + " sel", Face(Colors::Blue) } };
|
2014-11-28 14:58:36 +01:00
|
|
|
if (m_params.count != 0)
|
2014-09-10 20:06:53 +02:00
|
|
|
{
|
|
|
|
atoms.push_back({ "; param=", Face(Colors::Yellow) });
|
2014-11-28 14:58:36 +01:00
|
|
|
atoms.push_back({ to_string(m_params.count), Face(Colors::Green) });
|
|
|
|
}
|
|
|
|
if (m_params.reg != '"')
|
|
|
|
{
|
|
|
|
atoms.push_back({ "; reg=", Face(Colors::Yellow) });
|
|
|
|
atoms.push_back({ StringView(m_params.reg), Face(Colors::Green) });
|
2014-09-10 20:06:53 +02:00
|
|
|
}
|
|
|
|
return atoms;
|
2013-11-14 22:12:59 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
KeymapMode keymap_mode() const override { return KeymapMode::Normal; }
|
|
|
|
|
|
|
|
private:
|
2014-11-28 14:58:36 +01:00
|
|
|
NormalParams m_params = { 0, '"' };
|
2014-07-26 00:47:47 +02:00
|
|
|
bool m_hooks_disabled = false;
|
2014-11-28 14:58:36 +01:00
|
|
|
bool m_waiting_for_reg = false;
|
2013-11-14 22:12:59 +01:00
|
|
|
Timer m_idle_timer;
|
|
|
|
Timer m_fs_check_timer;
|
|
|
|
};
|
|
|
|
|
2014-08-14 01:31:39 +02:00
|
|
|
template<WordType word_type>
|
|
|
|
void to_next_word_begin(CharCount& pos, StringView line)
|
|
|
|
{
|
|
|
|
const CharCount len = line.char_length();
|
|
|
|
if (pos == len)
|
|
|
|
return;
|
|
|
|
if (word_type == Word and is_punctuation(line[pos]))
|
|
|
|
{
|
|
|
|
while (pos != len and is_punctuation(line[pos]))
|
|
|
|
++pos;
|
|
|
|
}
|
|
|
|
else if (is_word<word_type>(line[pos]))
|
|
|
|
{
|
|
|
|
while (pos != len and is_word<word_type>(line[pos]))
|
|
|
|
++pos;
|
|
|
|
}
|
|
|
|
while (pos != len and is_blank(line[pos]))
|
|
|
|
++pos;
|
|
|
|
}
|
|
|
|
|
|
|
|
template<WordType word_type>
|
|
|
|
void to_next_word_end(CharCount& pos, StringView line)
|
|
|
|
{
|
|
|
|
const CharCount len = line.char_length();
|
|
|
|
if (pos + 1 >= len)
|
|
|
|
return;
|
|
|
|
++pos;
|
|
|
|
|
|
|
|
while (pos != len and is_blank(line[pos]))
|
|
|
|
++pos;
|
|
|
|
|
|
|
|
if (word_type == Word and is_punctuation(line[pos]))
|
|
|
|
{
|
|
|
|
while (pos != len and is_punctuation(line[pos]))
|
|
|
|
++pos;
|
|
|
|
}
|
|
|
|
else if (is_word<word_type>(line[pos]))
|
|
|
|
{
|
|
|
|
while (pos != len and is_word<word_type>(line[pos]))
|
|
|
|
++pos;
|
|
|
|
}
|
|
|
|
--pos;
|
|
|
|
}
|
|
|
|
|
|
|
|
template<WordType word_type>
|
|
|
|
void to_prev_word_begin(CharCount& pos, StringView line)
|
|
|
|
{
|
|
|
|
if (pos == 0_char)
|
|
|
|
return;
|
|
|
|
--pos;
|
|
|
|
|
|
|
|
while (pos != 0_char and is_blank(line[pos]))
|
|
|
|
--pos;
|
|
|
|
|
|
|
|
if (word_type == Word and is_punctuation(line[pos]))
|
|
|
|
{
|
|
|
|
while (pos != 0_char and is_punctuation(line[pos]))
|
|
|
|
--pos;
|
|
|
|
if (!is_punctuation(line[pos]))
|
|
|
|
++pos;
|
|
|
|
}
|
|
|
|
else if (is_word<word_type>(line[pos]))
|
|
|
|
{
|
|
|
|
while (pos != 0_char and is_word<word_type>(line[pos]))
|
|
|
|
--pos;
|
|
|
|
if (!is_word<word_type>(line[pos]))
|
|
|
|
++pos;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2013-11-14 22:12:59 +01:00
|
|
|
class LineEditor
|
|
|
|
{
|
|
|
|
public:
|
|
|
|
void handle_key(Key key)
|
|
|
|
{
|
2014-08-14 01:31:39 +02:00
|
|
|
if (key == Key::Left)
|
2013-11-14 22:12:59 +01:00
|
|
|
{
|
|
|
|
if (m_cursor_pos > 0)
|
|
|
|
--m_cursor_pos;
|
|
|
|
}
|
2014-08-14 01:31:39 +02:00
|
|
|
else if (key == Key::Right)
|
2013-11-14 22:12:59 +01:00
|
|
|
{
|
|
|
|
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;
|
|
|
|
}
|
|
|
|
}
|
2014-05-25 18:41:28 +02:00
|
|
|
else if (key == Key::Delete)
|
2014-01-04 19:18:59 +01:00
|
|
|
{
|
|
|
|
if (m_cursor_pos != m_line.char_length())
|
|
|
|
m_line = m_line.substr(0, m_cursor_pos)
|
|
|
|
+ m_line.substr(m_cursor_pos+1);
|
|
|
|
}
|
2014-08-14 01:31:39 +02:00
|
|
|
else if (key == ctrl('w'))
|
|
|
|
to_next_word_begin<Word>(m_cursor_pos, m_line);
|
|
|
|
else if (key == ctrlalt('w'))
|
|
|
|
to_next_word_begin<WORD>(m_cursor_pos, m_line);
|
|
|
|
else if (key == ctrl('b'))
|
|
|
|
to_prev_word_begin<Word>(m_cursor_pos, m_line);
|
|
|
|
else if (key == ctrlalt('b'))
|
|
|
|
to_prev_word_begin<WORD>(m_cursor_pos, m_line);
|
|
|
|
else if (key == ctrl('e'))
|
|
|
|
to_next_word_end<Word>(m_cursor_pos, m_line);
|
|
|
|
else if (key == ctrlalt('e'))
|
|
|
|
to_next_word_end<WORD>(m_cursor_pos, m_line);
|
2013-11-14 22:12:59 +01:00
|
|
|
else
|
|
|
|
{
|
|
|
|
m_line = m_line.substr(0, m_cursor_pos) + codepoint_to_str(key.key)
|
|
|
|
+ m_line.substr(m_cursor_pos);
|
|
|
|
++m_cursor_pos;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2014-10-20 20:18:38 +02:00
|
|
|
void insert(StringView str)
|
2013-11-14 22:12:59 +01:00
|
|
|
{
|
|
|
|
insert_from(m_cursor_pos, str);
|
|
|
|
}
|
|
|
|
|
2014-10-20 20:18:38 +02:00
|
|
|
void insert_from(CharCount start, StringView str)
|
2013-11-14 22:12:59 +01:00
|
|
|
{
|
|
|
|
kak_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; }
|
|
|
|
|
2014-01-30 12:30:51 +01:00
|
|
|
DisplayLine build_display_line(CharCount width)
|
2013-11-14 22:12:59 +01:00
|
|
|
{
|
|
|
|
kak_assert(m_cursor_pos <= m_line.char_length());
|
2014-01-30 12:30:51 +01:00
|
|
|
if (m_cursor_pos < m_display_pos)
|
|
|
|
m_display_pos = m_cursor_pos;
|
|
|
|
if (m_cursor_pos >= m_display_pos + width)
|
|
|
|
m_display_pos = m_cursor_pos + 1 - width;
|
|
|
|
|
2013-11-14 22:12:59 +01:00
|
|
|
if (m_cursor_pos == m_line.char_length())
|
2014-07-11 01:27:04 +02:00
|
|
|
return DisplayLine{{ {m_line.substr(m_display_pos, width-1), get_face("StatusLine")},
|
|
|
|
{" "_str, get_face("StatusCursor")} }};
|
2013-11-14 22:12:59 +01:00
|
|
|
else
|
2014-07-11 01:27:04 +02:00
|
|
|
return DisplayLine({ { m_line.substr(m_display_pos, m_cursor_pos - m_display_pos), get_face("StatusLine") },
|
|
|
|
{ m_line.substr(m_cursor_pos,1), get_face("StatusCursor") },
|
|
|
|
{ m_line.substr(m_cursor_pos+1, width - m_cursor_pos + m_display_pos - 1), get_face("StatusLine") } });
|
2013-11-14 22:12:59 +01:00
|
|
|
}
|
|
|
|
private:
|
|
|
|
CharCount m_cursor_pos = 0;
|
2014-01-30 12:30:51 +01:00
|
|
|
CharCount m_display_pos = 0;
|
2014-08-14 01:31:39 +02:00
|
|
|
|
2013-11-14 22:12:59 +01:00
|
|
|
String m_line;
|
|
|
|
};
|
|
|
|
|
|
|
|
class Menu : public InputMode
|
|
|
|
{
|
|
|
|
public:
|
|
|
|
Menu(InputHandler& input_handler, memoryview<String> choices,
|
|
|
|
MenuCallback callback)
|
|
|
|
: InputMode(input_handler),
|
|
|
|
m_callback(callback), m_choices(choices.begin(), choices.end()),
|
|
|
|
m_selected(m_choices.begin())
|
|
|
|
{
|
|
|
|
if (not context().has_ui())
|
|
|
|
return;
|
2014-11-08 20:08:23 +01:00
|
|
|
context().ui().menu_show(choices, CharCoord{}, get_face("MenuForeground"),
|
2014-07-11 01:27:04 +02:00
|
|
|
get_face("MenuBackground"), MenuStyle::Prompt);
|
2014-01-02 20:19:41 +01:00
|
|
|
context().ui().menu_select(0);
|
2013-11-14 22:12:59 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
void on_key(Key key) override
|
|
|
|
{
|
|
|
|
auto match_filter = [this](const String& str) {
|
2014-10-13 14:12:33 +02:00
|
|
|
return regex_match(str.begin(), str.end(), m_filter);
|
2013-11-14 22:12:59 +01:00
|
|
|
};
|
|
|
|
|
|
|
|
if (key == ctrl('m'))
|
|
|
|
{
|
|
|
|
if (context().has_ui())
|
|
|
|
context().ui().menu_hide();
|
|
|
|
context().print_status(DisplayLine{});
|
|
|
|
reset_normal_mode();
|
|
|
|
int selected = m_selected - m_choices.begin();
|
|
|
|
m_callback(selected, MenuEvent::Validate, context());
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
else if (key == Key::Escape or key == ctrl('c'))
|
|
|
|
{
|
|
|
|
if (m_edit_filter)
|
|
|
|
{
|
|
|
|
m_edit_filter = false;
|
2014-10-13 14:12:33 +02:00
|
|
|
m_filter = Regex(".*");
|
2013-11-14 22:12:59 +01:00
|
|
|
m_filter_editor.reset("");
|
|
|
|
context().print_status(DisplayLine{});
|
|
|
|
}
|
|
|
|
else
|
|
|
|
{
|
|
|
|
if (context().has_ui())
|
|
|
|
context().ui().menu_hide();
|
|
|
|
reset_normal_mode();
|
|
|
|
int selected = m_selected - m_choices.begin();
|
|
|
|
m_callback(selected, MenuEvent::Abort, context());
|
|
|
|
}
|
|
|
|
}
|
|
|
|
else if (key == Key::Down or key == ctrl('i') or
|
2014-07-22 19:39:04 +02:00
|
|
|
key == ctrl('n') or (not m_edit_filter and key == 'j'))
|
2013-11-14 22:12:59 +01:00
|
|
|
{
|
|
|
|
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);
|
|
|
|
select(it);
|
|
|
|
}
|
|
|
|
else if (key == Key::Up or key == Key::BackTab or
|
2014-07-22 19:39:04 +02:00
|
|
|
key == ctrl('p') or (not m_edit_filter and key == 'k'))
|
2013-11-14 22:12:59 +01:00
|
|
|
{
|
|
|
|
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);
|
|
|
|
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() + ".*";
|
2014-10-13 14:12:33 +02:00
|
|
|
m_filter = Regex(search.begin(), search.end());
|
2013-11-14 22:12:59 +01:00
|
|
|
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);
|
|
|
|
select(it);
|
|
|
|
}
|
|
|
|
|
2014-01-30 12:30:51 +01:00
|
|
|
if (m_edit_filter and context().has_ui())
|
2013-11-14 22:12:59 +01:00
|
|
|
{
|
2014-01-30 12:30:51 +01:00
|
|
|
auto prompt = "filter:"_str;
|
|
|
|
auto width = context().ui().dimensions().column - prompt.char_length();
|
|
|
|
auto display_line = m_filter_editor.build_display_line(width);
|
2014-07-11 01:27:04 +02:00
|
|
|
display_line.insert(display_line.begin(), { prompt, get_face("Prompt") });
|
2013-11-14 22:12:59 +01:00
|
|
|
context().print_status(display_line);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2014-09-10 20:06:53 +02:00
|
|
|
DisplayLine mode_line() const override
|
2013-11-14 22:12:59 +01:00
|
|
|
{
|
2014-09-10 20:06:53 +02:00
|
|
|
return { "menu", Face(Colors::Yellow) };
|
2013-11-14 22:12:59 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
KeymapMode keymap_mode() const override { return KeymapMode::Menu; }
|
|
|
|
|
|
|
|
private:
|
|
|
|
MenuCallback m_callback;
|
|
|
|
|
|
|
|
using ChoiceList = std::vector<String>;
|
|
|
|
const ChoiceList m_choices;
|
|
|
|
ChoiceList::const_iterator m_selected;
|
|
|
|
|
|
|
|
void select(ChoiceList::const_iterator it)
|
|
|
|
{
|
|
|
|
m_selected = it;
|
|
|
|
int selected = m_selected - m_choices.begin();
|
|
|
|
if (context().has_ui())
|
|
|
|
context().ui().menu_select(selected);
|
|
|
|
m_callback(selected, MenuEvent::Select, context());
|
|
|
|
}
|
|
|
|
|
2014-10-13 14:12:33 +02:00
|
|
|
Regex m_filter = Regex(".*");
|
|
|
|
bool m_edit_filter = false;
|
|
|
|
LineEditor m_filter_editor;
|
2013-11-14 22:12:59 +01:00
|
|
|
};
|
|
|
|
|
|
|
|
String common_prefix(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;
|
|
|
|
}
|
|
|
|
|
2014-10-20 20:18:38 +02:00
|
|
|
void history_push(std::vector<String>& history, StringView entry)
|
2014-03-24 22:11:19 +01:00
|
|
|
{
|
|
|
|
if(entry.empty())
|
|
|
|
{
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
std::vector<String>::iterator it;
|
|
|
|
while ((it = find(history, entry)) != history.end())
|
|
|
|
history.erase(it);
|
|
|
|
history.push_back(entry);
|
|
|
|
}
|
|
|
|
|
2013-11-14 22:12:59 +01:00
|
|
|
class Prompt : public InputMode
|
|
|
|
{
|
|
|
|
public:
|
2014-11-01 20:31:13 +01:00
|
|
|
Prompt(InputHandler& input_handler, StringView prompt,
|
2014-07-11 01:27:04 +02:00
|
|
|
String initstr, Face face, Completer completer,
|
2014-04-26 16:09:07 +02:00
|
|
|
PromptCallback callback)
|
2014-07-11 01:27:04 +02:00
|
|
|
: InputMode(input_handler), m_prompt(prompt), m_prompt_face(face),
|
2014-08-20 00:32:19 +02:00
|
|
|
m_completer(completer), m_callback(callback),
|
|
|
|
m_autoshowcompl{context().options()["autoshowcompl"].get<bool>()}
|
2013-11-14 22:12:59 +01:00
|
|
|
{
|
|
|
|
m_history_it = ms_history[m_prompt].end();
|
2014-08-20 00:32:19 +02:00
|
|
|
if (m_autoshowcompl)
|
2013-11-18 22:47:16 +01:00
|
|
|
refresh_completions(CompletionFlags::Fast);
|
2014-04-26 16:09:07 +02:00
|
|
|
m_line_editor.reset(std::move(initstr));
|
2013-11-14 22:12:59 +01:00
|
|
|
display();
|
|
|
|
}
|
|
|
|
|
|
|
|
void on_key(Key key) override
|
|
|
|
{
|
|
|
|
std::vector<String>& history = ms_history[m_prompt];
|
|
|
|
const String& line = m_line_editor.line();
|
|
|
|
bool showcompl = false;
|
|
|
|
|
|
|
|
if (m_mode == Mode::InsertReg)
|
|
|
|
{
|
2014-06-21 12:31:08 +02:00
|
|
|
StringView reg = context().main_sel_register_value(String{key.key});
|
2013-11-14 22:12:59 +01:00
|
|
|
m_line_editor.insert(reg);
|
|
|
|
m_mode = Mode::Default;
|
|
|
|
}
|
|
|
|
else if (key == ctrl('m')) // enter
|
|
|
|
{
|
2014-12-05 15:01:07 +01:00
|
|
|
if (context().history_support().is_enabled())
|
|
|
|
history_push(history, line);
|
2013-11-14 22:12:59 +01:00
|
|
|
context().print_status(DisplayLine{});
|
|
|
|
if (context().has_ui())
|
|
|
|
context().ui().menu_hide();
|
|
|
|
reset_normal_mode();
|
|
|
|
// call callback after reset_normal_mode so that callback
|
|
|
|
// may change the mode
|
|
|
|
m_callback(line, PromptEvent::Validate, context());
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
else if (key == Key::Escape or key == ctrl('c'))
|
|
|
|
{
|
2014-12-05 15:01:07 +01:00
|
|
|
if (context().history_support().is_enabled())
|
|
|
|
history_push(history, line);
|
2013-11-14 22:12:59 +01:00
|
|
|
context().print_status(DisplayLine{});
|
|
|
|
if (context().has_ui())
|
|
|
|
context().ui().menu_hide();
|
|
|
|
reset_normal_mode();
|
|
|
|
m_callback(line, PromptEvent::Abort, context());
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
else if (key == ctrl('r'))
|
|
|
|
{
|
|
|
|
m_mode = Mode::InsertReg;
|
|
|
|
}
|
|
|
|
else if (key == Key::Up or key == ctrl('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
|
|
|
|
do
|
|
|
|
{
|
|
|
|
--it;
|
|
|
|
if (prefix_match(*it, m_prefix))
|
|
|
|
{
|
|
|
|
m_history_it = it;
|
|
|
|
m_line_editor.reset(*it);
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
} while (it != history.begin());
|
2013-11-28 19:44:42 +01:00
|
|
|
|
|
|
|
clear_completions();
|
|
|
|
showcompl = true;
|
2013-11-14 22:12:59 +01:00
|
|
|
}
|
|
|
|
}
|
|
|
|
else if (key == Key::Down or key == ctrl('n')) // next
|
|
|
|
{
|
|
|
|
if (m_history_it != history.end())
|
|
|
|
{
|
|
|
|
// search for the next history entry matching typed prefix
|
|
|
|
++m_history_it;
|
|
|
|
while (m_history_it != history.end() and
|
|
|
|
prefix_match(*m_history_it, 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);
|
2013-11-28 19:44:42 +01:00
|
|
|
|
|
|
|
clear_completions();
|
|
|
|
showcompl = true;
|
2013-11-14 22:12:59 +01:00
|
|
|
}
|
|
|
|
}
|
|
|
|
else if (key == ctrl('i') or key == Key::BackTab) // tab completion
|
|
|
|
{
|
|
|
|
const bool reverse = (key == Key::BackTab);
|
|
|
|
CandidateList& candidates = m_completions.candidates;
|
|
|
|
// first try, we need to ask our completer for completions
|
2014-06-09 14:44:45 +02:00
|
|
|
bool updated_completions = false;
|
2013-11-14 22:12:59 +01:00
|
|
|
if (candidates.empty())
|
|
|
|
{
|
2013-11-18 22:47:16 +01:00
|
|
|
refresh_completions(CompletionFlags::None);
|
2013-11-14 22:12:59 +01:00
|
|
|
|
|
|
|
if (candidates.empty())
|
|
|
|
return;
|
2014-06-09 14:44:45 +02:00
|
|
|
updated_completions = true;
|
2013-12-21 13:48:13 +01:00
|
|
|
}
|
|
|
|
bool did_prefix = false;
|
|
|
|
if (m_current_completion == -1 and
|
|
|
|
context().options()["complete_prefix"].get<bool>())
|
|
|
|
{
|
|
|
|
const String& line = m_line_editor.line();
|
|
|
|
CandidateList& candidates = m_completions.candidates;
|
|
|
|
String prefix = common_prefix(candidates);
|
2013-11-14 22:12:59 +01:00
|
|
|
if (m_completions.end - m_completions.start > prefix.length())
|
|
|
|
prefix = line.substr(m_completions.start,
|
|
|
|
m_completions.end - m_completions.start);
|
|
|
|
|
2013-12-21 13:48:13 +01:00
|
|
|
if (not prefix.empty())
|
2013-11-14 22:12:59 +01:00
|
|
|
{
|
2013-12-21 13:48:13 +01:00
|
|
|
auto it = find(candidates, prefix);
|
|
|
|
if (it == candidates.end())
|
|
|
|
{
|
|
|
|
m_current_completion = candidates.size();
|
|
|
|
candidates.push_back(prefix);
|
|
|
|
}
|
|
|
|
else
|
|
|
|
m_current_completion = it - candidates.begin();
|
|
|
|
|
|
|
|
CharCount start = line.char_count_to(m_completions.start);
|
2014-06-09 14:44:45 +02:00
|
|
|
// When we just updated completions, select the common
|
|
|
|
// prefix even if it was the currently entered text.
|
|
|
|
did_prefix = updated_completions or
|
|
|
|
prefix != line.substr(start, m_line_editor.cursor_pos() - start);
|
2013-11-14 22:12:59 +01:00
|
|
|
}
|
|
|
|
}
|
2013-12-21 13:48:13 +01:00
|
|
|
if (not did_prefix)
|
|
|
|
{
|
|
|
|
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;
|
|
|
|
}
|
2013-11-14 22:12:59 +01:00
|
|
|
|
|
|
|
const String& completion = candidates[m_current_completion];
|
|
|
|
if (context().has_ui())
|
|
|
|
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;
|
|
|
|
candidates.clear();
|
|
|
|
showcompl = true;
|
|
|
|
}
|
|
|
|
}
|
2014-08-20 00:32:19 +02:00
|
|
|
else if (key == ctrl('o'))
|
|
|
|
{
|
|
|
|
m_autoshowcompl = false;
|
|
|
|
clear_completions();
|
|
|
|
}
|
2013-11-14 22:12:59 +01:00
|
|
|
else
|
|
|
|
{
|
|
|
|
m_line_editor.handle_key(key);
|
2013-11-28 19:44:42 +01:00
|
|
|
clear_completions();
|
2013-11-14 22:12:59 +01:00
|
|
|
showcompl = true;
|
|
|
|
}
|
|
|
|
|
2014-08-20 00:32:19 +02:00
|
|
|
if (showcompl and m_autoshowcompl)
|
2013-11-18 22:47:16 +01:00
|
|
|
refresh_completions(CompletionFlags::Fast);
|
2013-11-14 22:12:59 +01:00
|
|
|
|
|
|
|
display();
|
|
|
|
m_callback(line, PromptEvent::Change, context());
|
|
|
|
}
|
|
|
|
|
2014-07-11 01:27:04 +02:00
|
|
|
void set_prompt_face(Face face)
|
2013-11-14 22:12:59 +01:00
|
|
|
{
|
2014-07-11 01:27:04 +02:00
|
|
|
if (face != m_prompt_face)
|
2013-11-14 22:12:59 +01:00
|
|
|
{
|
2014-07-11 01:27:04 +02:00
|
|
|
m_prompt_face = face;
|
2013-11-14 22:12:59 +01:00
|
|
|
display();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2014-09-10 20:06:53 +02:00
|
|
|
DisplayLine mode_line() const override
|
2013-11-14 22:12:59 +01:00
|
|
|
{
|
2014-09-10 20:06:53 +02:00
|
|
|
return { "prompt", Face(Colors::Yellow) };
|
2013-11-14 22:12:59 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
KeymapMode keymap_mode() const override { return KeymapMode::Prompt; }
|
|
|
|
|
|
|
|
private:
|
2013-11-18 22:47:16 +01:00
|
|
|
void refresh_completions(CompletionFlags flags)
|
2013-11-14 22:12:59 +01:00
|
|
|
{
|
|
|
|
try
|
|
|
|
{
|
2014-04-13 15:15:05 +02:00
|
|
|
if (not m_completer)
|
|
|
|
return;
|
2014-06-09 14:44:45 +02:00
|
|
|
m_current_completion = -1;
|
2013-11-14 22:12:59 +01:00
|
|
|
const String& line = m_line_editor.line();
|
2013-11-18 22:47:16 +01:00
|
|
|
m_completions = m_completer(context(), flags, line,
|
2013-11-14 22:12:59 +01:00
|
|
|
line.byte_count_to(m_line_editor.cursor_pos()));
|
|
|
|
CandidateList& candidates = m_completions.candidates;
|
|
|
|
if (context().has_ui() and not candidates.empty())
|
2014-11-08 20:08:23 +01:00
|
|
|
context().ui().menu_show(candidates, CharCoord{}, get_face("MenuForeground"),
|
2014-07-11 01:27:04 +02:00
|
|
|
get_face("MenuBackground"), MenuStyle::Prompt);
|
2013-11-14 22:12:59 +01:00
|
|
|
} catch (runtime_error&) {}
|
|
|
|
}
|
|
|
|
|
2013-11-28 19:44:42 +01:00
|
|
|
void clear_completions()
|
|
|
|
{
|
|
|
|
m_current_completion = -1;
|
2014-08-20 00:32:19 +02:00
|
|
|
m_completions.candidates.clear();
|
2013-11-28 19:44:42 +01:00
|
|
|
if (context().has_ui())
|
|
|
|
context().ui().menu_hide();
|
|
|
|
}
|
|
|
|
|
2014-01-30 12:30:51 +01:00
|
|
|
void display()
|
2013-11-14 22:12:59 +01:00
|
|
|
{
|
2014-01-30 12:30:51 +01:00
|
|
|
if (not context().has_ui())
|
|
|
|
return;
|
|
|
|
|
|
|
|
auto width = context().ui().dimensions().column - m_prompt.char_length();
|
|
|
|
auto display_line = m_line_editor.build_display_line(width);
|
2014-07-11 01:27:04 +02:00
|
|
|
display_line.insert(display_line.begin(), { m_prompt, m_prompt_face });
|
2013-11-14 22:12:59 +01:00
|
|
|
context().print_status(display_line);
|
|
|
|
}
|
|
|
|
|
|
|
|
enum class Mode { Default, InsertReg };
|
|
|
|
|
|
|
|
PromptCallback m_callback;
|
|
|
|
Completer m_completer;
|
|
|
|
const String m_prompt;
|
2014-07-11 01:27:04 +02:00
|
|
|
Face m_prompt_face;
|
2013-11-14 22:12:59 +01:00
|
|
|
Completions m_completions;
|
|
|
|
int m_current_completion = -1;
|
|
|
|
String m_prefix;
|
|
|
|
LineEditor m_line_editor;
|
2014-08-20 00:32:19 +02:00
|
|
|
bool m_autoshowcompl;
|
2013-11-14 22:12:59 +01:00
|
|
|
Mode m_mode = Mode::Default;
|
|
|
|
|
2014-12-16 19:57:19 +01:00
|
|
|
static UnorderedMap<String, std::vector<String>> ms_history;
|
2013-11-14 22:12:59 +01:00
|
|
|
std::vector<String>::iterator m_history_it;
|
|
|
|
};
|
2014-12-16 19:57:19 +01:00
|
|
|
UnorderedMap<String, std::vector<String>> Prompt::ms_history;
|
2013-11-14 22:12:59 +01:00
|
|
|
|
|
|
|
class NextKey : public InputMode
|
|
|
|
{
|
|
|
|
public:
|
2014-09-23 14:45:18 +02:00
|
|
|
NextKey(InputHandler& input_handler, KeymapMode keymap_mode, KeyCallback callback)
|
|
|
|
: InputMode(input_handler), m_keymap_mode(keymap_mode), m_callback(callback) {}
|
2013-11-14 22:12:59 +01:00
|
|
|
|
|
|
|
void on_key(Key key) override
|
|
|
|
{
|
|
|
|
reset_normal_mode();
|
|
|
|
m_callback(key, context());
|
|
|
|
}
|
|
|
|
|
2014-09-10 20:06:53 +02:00
|
|
|
DisplayLine mode_line() const override
|
2013-11-14 22:12:59 +01:00
|
|
|
{
|
2014-09-10 20:06:53 +02:00
|
|
|
return { "enter key", Face(Colors::Yellow) };
|
2013-11-14 22:12:59 +01:00
|
|
|
}
|
|
|
|
|
2014-09-23 14:45:18 +02:00
|
|
|
KeymapMode keymap_mode() const override { return m_keymap_mode; }
|
2013-11-14 22:12:59 +01:00
|
|
|
|
|
|
|
private:
|
|
|
|
KeyCallback m_callback;
|
2014-09-23 14:45:18 +02:00
|
|
|
KeymapMode m_keymap_mode;
|
2013-11-14 22:12:59 +01:00
|
|
|
};
|
|
|
|
|
|
|
|
class Insert : public InputMode
|
|
|
|
{
|
|
|
|
public:
|
|
|
|
Insert(InputHandler& input_handler, InsertMode mode)
|
|
|
|
: InputMode(input_handler),
|
|
|
|
m_insert_mode(mode),
|
2013-12-15 19:07:51 +01:00
|
|
|
m_edition(context()),
|
2013-11-14 22:12:59 +01:00
|
|
|
m_completer(context()),
|
2014-08-20 00:32:19 +02:00
|
|
|
m_autoshowcompl(true),
|
2013-11-14 22:12:59 +01:00
|
|
|
m_idle_timer{Clock::now() + idle_timeout,
|
|
|
|
[this](Timer& timer) {
|
|
|
|
context().hooks().run_hook("InsertIdle", "", context());
|
2014-08-20 00:32:19 +02:00
|
|
|
if (m_autoshowcompl)
|
|
|
|
m_completer.update();
|
2014-07-24 20:18:39 +02:00
|
|
|
}},
|
2014-12-05 14:47:09 +01:00
|
|
|
m_disable_hooks{context().user_hooks_support().is_disabled()}
|
2013-11-14 22:12:59 +01:00
|
|
|
{
|
2014-07-24 20:18:39 +02:00
|
|
|
// Prolongate hook disabling for the whole insert session
|
|
|
|
if (m_disable_hooks)
|
2014-12-05 14:47:09 +01:00
|
|
|
context().user_hooks_support().disable();
|
2014-07-24 20:18:39 +02:00
|
|
|
|
2013-11-14 22:12:59 +01:00
|
|
|
last_insert().first = mode;
|
|
|
|
last_insert().second.clear();
|
|
|
|
context().hooks().run_hook("InsertBegin", "", context());
|
|
|
|
prepare(m_insert_mode);
|
|
|
|
}
|
|
|
|
|
|
|
|
void on_key(Key key) override
|
|
|
|
{
|
2014-01-04 19:18:59 +01:00
|
|
|
auto& buffer = context().buffer();
|
2013-11-14 22:12:59 +01:00
|
|
|
last_insert().second.push_back(key);
|
|
|
|
if (m_mode == Mode::InsertReg)
|
|
|
|
{
|
|
|
|
if (key.modifiers == Key::Modifiers::None)
|
|
|
|
insert(RegisterManager::instance()[key.key].values(context()));
|
|
|
|
m_mode = Mode::Default;
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
if (m_mode == Mode::Complete)
|
|
|
|
{
|
|
|
|
if (key.key == 'f')
|
2014-04-28 22:54:00 +02:00
|
|
|
m_completer.explicit_file_complete();
|
2013-11-14 22:12:59 +01:00
|
|
|
if (key.key == 'w')
|
2014-04-28 22:54:00 +02:00
|
|
|
m_completer.explicit_word_complete();
|
2013-11-14 22:12:59 +01:00
|
|
|
if (key.key == 'l')
|
2014-04-28 22:54:00 +02:00
|
|
|
m_completer.explicit_line_complete();
|
2013-11-14 22:12:59 +01:00
|
|
|
m_mode = Mode::Default;
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
|
|
|
bool update_completions = true;
|
|
|
|
bool moved = false;
|
|
|
|
if (key == Key::Escape or key == ctrl('c'))
|
|
|
|
{
|
|
|
|
context().hooks().run_hook("InsertEnd", "", context());
|
|
|
|
m_completer.reset();
|
|
|
|
reset_normal_mode();
|
|
|
|
}
|
|
|
|
else if (key == Key::Backspace)
|
2014-01-04 19:18:59 +01:00
|
|
|
{
|
2014-05-29 06:48:40 +02:00
|
|
|
std::vector<Selection> sels;
|
|
|
|
for (auto& sel : context().selections())
|
2014-01-04 19:18:59 +01:00
|
|
|
{
|
2014-05-07 20:51:01 +02:00
|
|
|
if (sel.cursor() == ByteCoord{0,0})
|
2014-01-04 19:18:59 +01:00
|
|
|
continue;
|
2014-05-29 06:48:40 +02:00
|
|
|
auto pos = sel.cursor();
|
|
|
|
sels.push_back({ buffer.char_prev(pos) });
|
2014-01-04 19:18:59 +01:00
|
|
|
}
|
2014-05-29 06:48:40 +02:00
|
|
|
if (not sels.empty())
|
|
|
|
SelectionList{buffer, std::move(sels)}.erase();
|
2014-01-04 19:18:59 +01:00
|
|
|
}
|
2014-05-25 18:41:28 +02:00
|
|
|
else if (key == Key::Delete)
|
2014-01-04 19:18:59 +01:00
|
|
|
{
|
2014-05-29 06:48:40 +02:00
|
|
|
std::vector<Selection> sels;
|
|
|
|
for (auto& sel : context().selections())
|
|
|
|
sels.push_back({ sel.cursor() });
|
|
|
|
SelectionList{buffer, std::move(sels)}.erase();
|
2014-01-04 19:18:59 +01:00
|
|
|
}
|
2013-11-14 22:12:59 +01:00
|
|
|
else if (key == Key::Left)
|
|
|
|
{
|
2013-12-15 15:14:52 +01:00
|
|
|
move(-1_char);
|
2013-11-14 22:12:59 +01:00
|
|
|
moved = true;
|
|
|
|
}
|
|
|
|
else if (key == Key::Right)
|
|
|
|
{
|
2013-12-15 15:14:52 +01:00
|
|
|
move(1_char);
|
2013-11-14 22:12:59 +01:00
|
|
|
moved = true;
|
|
|
|
}
|
|
|
|
else if (key == Key::Up)
|
|
|
|
{
|
2013-12-15 15:14:52 +01:00
|
|
|
move(-1_line);
|
2013-11-14 22:12:59 +01:00
|
|
|
moved = true;
|
|
|
|
}
|
|
|
|
else if (key == Key::Down)
|
|
|
|
{
|
2013-12-15 15:14:52 +01:00
|
|
|
move(1_line);
|
2013-11-14 22:12:59 +01:00
|
|
|
moved = true;
|
|
|
|
}
|
|
|
|
else if (key.modifiers == Key::Modifiers::None)
|
|
|
|
insert(key.key);
|
|
|
|
else if (key == ctrl('r'))
|
|
|
|
m_mode = Mode::InsertReg;
|
|
|
|
else if ( key == ctrl('m'))
|
|
|
|
insert('\n');
|
|
|
|
else if ( key == ctrl('i'))
|
|
|
|
insert('\t');
|
|
|
|
else if ( key == ctrl('n'))
|
|
|
|
{
|
|
|
|
m_completer.select(1);
|
|
|
|
update_completions = false;
|
|
|
|
}
|
|
|
|
else if ( key == ctrl('p'))
|
|
|
|
{
|
|
|
|
m_completer.select(-1);
|
|
|
|
update_completions = false;
|
|
|
|
}
|
|
|
|
else if ( key == ctrl('x'))
|
|
|
|
m_mode = Mode::Complete;
|
2014-08-20 00:32:19 +02:00
|
|
|
else if ( key == ctrl('o'))
|
|
|
|
{
|
|
|
|
m_autoshowcompl = false;
|
|
|
|
m_completer.reset();
|
|
|
|
}
|
2013-11-14 22:12:59 +01:00
|
|
|
else if ( key == ctrl('u'))
|
|
|
|
context().buffer().commit_undo_group();
|
|
|
|
|
|
|
|
context().hooks().run_hook("InsertKey", key_to_str(key), context());
|
|
|
|
|
|
|
|
if (update_completions)
|
|
|
|
m_idle_timer.set_next_date(Clock::now() + idle_timeout);
|
|
|
|
if (moved)
|
|
|
|
context().hooks().run_hook("InsertMove", key_to_str(key), context());
|
|
|
|
}
|
|
|
|
|
2014-09-10 20:06:53 +02:00
|
|
|
DisplayLine mode_line() const override
|
2013-11-14 22:12:59 +01:00
|
|
|
{
|
2014-11-24 14:26:26 +01:00
|
|
|
auto num_sel = context().selections().size();
|
|
|
|
return {AtomList{ { "insert ", Face(Colors::Green) },
|
|
|
|
{ to_string(num_sel) + " sel", Face(Colors::Blue) } }};
|
2013-11-14 22:12:59 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
KeymapMode keymap_mode() const override { return KeymapMode::Insert; }
|
|
|
|
|
|
|
|
private:
|
2013-12-15 15:14:52 +01:00
|
|
|
template<typename Type>
|
|
|
|
void move(Type offset)
|
|
|
|
{
|
2013-12-20 21:10:08 +01:00
|
|
|
auto& selections = context().selections();
|
2013-12-15 15:14:52 +01:00
|
|
|
for (auto& sel : selections)
|
|
|
|
{
|
2014-01-28 20:05:49 +01:00
|
|
|
auto cursor = context().has_window() ? context().window().offset_coord(sel.cursor(), offset)
|
|
|
|
: context().buffer().offset_coord(sel.cursor(), offset);
|
|
|
|
sel.anchor() = sel.cursor() = cursor;
|
2013-12-15 15:14:52 +01:00
|
|
|
}
|
|
|
|
selections.sort_and_merge_overlapping();
|
|
|
|
}
|
|
|
|
|
2013-11-14 22:12:59 +01:00
|
|
|
void insert(memoryview<String> strings)
|
|
|
|
{
|
2014-05-25 23:59:29 +02:00
|
|
|
context().selections().insert(strings, InsertMode::InsertCursor);
|
2013-11-14 22:12:59 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
void insert(Codepoint key)
|
|
|
|
{
|
|
|
|
auto str = codepoint_to_str(key);
|
2014-05-25 23:59:29 +02:00
|
|
|
context().selections().insert(str, InsertMode::InsertCursor);
|
2013-11-14 22:12:59 +01:00
|
|
|
context().hooks().run_hook("InsertChar", str, context());
|
|
|
|
}
|
|
|
|
|
|
|
|
void prepare(InsertMode mode)
|
|
|
|
{
|
2013-12-15 19:07:51 +01:00
|
|
|
SelectionList& selections = context().selections();
|
|
|
|
Buffer& buffer = context().buffer();
|
2013-11-14 22:12:59 +01:00
|
|
|
|
2014-05-29 06:48:40 +02:00
|
|
|
switch (mode)
|
|
|
|
{
|
|
|
|
case InsertMode::Insert:
|
|
|
|
for (auto& sel : selections)
|
|
|
|
sel = Selection{sel.max(), sel.min()};
|
|
|
|
break;
|
|
|
|
case InsertMode::Replace:
|
|
|
|
selections.erase();
|
|
|
|
break;
|
|
|
|
case InsertMode::Append:
|
|
|
|
for (auto& sel : selections)
|
2013-11-14 22:12:59 +01:00
|
|
|
{
|
2014-05-29 06:48:40 +02:00
|
|
|
sel = Selection{sel.min(), sel.max()};
|
|
|
|
auto& cursor = sel.cursor();
|
2013-11-14 22:12:59 +01:00
|
|
|
// special case for end of lines, append to current line instead
|
2014-01-28 20:05:49 +01:00
|
|
|
if (cursor.column != buffer[cursor.line].length() - 1)
|
|
|
|
cursor = buffer.char_next(cursor);
|
2014-05-29 06:48:40 +02:00
|
|
|
}
|
|
|
|
break;
|
|
|
|
case InsertMode::AppendAtLineEnd:
|
|
|
|
for (auto& sel : selections)
|
|
|
|
sel = ByteCoord{sel.max().line, buffer[sel.max().line].length() - 1};
|
|
|
|
break;
|
2014-06-10 00:23:49 +02:00
|
|
|
case InsertMode::OpenLineBelow:
|
|
|
|
for (auto& sel : selections)
|
|
|
|
sel = ByteCoord{sel.max().line, buffer[sel.max().line].length() - 1};
|
|
|
|
insert('\n');
|
|
|
|
break;
|
2014-05-29 06:48:40 +02:00
|
|
|
case InsertMode::OpenLineAbove:
|
2014-06-10 00:23:49 +02:00
|
|
|
for (auto& sel : selections)
|
|
|
|
{
|
|
|
|
auto line = sel.min().line;
|
|
|
|
sel = line > 0 ? ByteCoord{line - 1, buffer[line-1].length() - 1}
|
|
|
|
: ByteCoord{0, 0};
|
|
|
|
}
|
|
|
|
insert('\n');
|
|
|
|
// fix case where we inserted at begining
|
|
|
|
for (auto& sel : selections)
|
|
|
|
{
|
|
|
|
if (sel.anchor() == buffer.char_next({0,0}))
|
|
|
|
sel = Selection{{0,0}};
|
|
|
|
}
|
|
|
|
break;
|
2014-05-29 06:48:40 +02:00
|
|
|
case InsertMode::InsertAtLineBegin:
|
|
|
|
for (auto& sel : selections)
|
|
|
|
{
|
|
|
|
ByteCoord pos = sel.min().line;
|
2014-06-10 00:23:49 +02:00
|
|
|
auto pos_non_blank = buffer.iterator_at(pos);
|
|
|
|
while (*pos_non_blank == ' ' or *pos_non_blank == '\t')
|
|
|
|
++pos_non_blank;
|
|
|
|
if (*pos_non_blank != '\n')
|
|
|
|
pos = pos_non_blank.coord();
|
2014-05-29 06:48:40 +02:00
|
|
|
sel = pos;
|
2013-11-14 22:12:59 +01:00
|
|
|
}
|
2014-05-29 06:48:40 +02:00
|
|
|
break;
|
|
|
|
case InsertMode::InsertAtNextLineBegin:
|
|
|
|
case InsertMode::InsertCursor:
|
2014-06-10 00:23:49 +02:00
|
|
|
kak_assert(false); // invalid for interactive insert
|
2014-05-29 06:48:40 +02:00
|
|
|
break;
|
2013-11-14 22:12:59 +01:00
|
|
|
}
|
2014-11-22 20:58:34 +01:00
|
|
|
if (mode != InsertMode::Append and mode != InsertMode::Replace)
|
2014-06-16 02:00:00 +02:00
|
|
|
selections.sort_and_merge_overlapping();
|
2013-12-15 19:07:51 +01:00
|
|
|
selections.check_invariant();
|
|
|
|
buffer.check_invariant();
|
2013-11-14 22:12:59 +01:00
|
|
|
}
|
|
|
|
|
2014-01-30 13:01:19 +01:00
|
|
|
void on_disabled() override
|
2013-11-14 22:12:59 +01:00
|
|
|
{
|
2014-05-14 21:56:27 +02:00
|
|
|
auto& selections = context().selections();
|
|
|
|
for (auto& sel : selections)
|
2013-11-14 22:12:59 +01:00
|
|
|
{
|
2014-01-28 20:05:49 +01:00
|
|
|
if (m_insert_mode == InsertMode::Append and sel.cursor().column > 0)
|
|
|
|
sel.cursor() = context().buffer().char_prev(sel.cursor());
|
2013-11-14 22:12:59 +01:00
|
|
|
}
|
2014-12-19 14:45:38 +01:00
|
|
|
selections.avoid_eol();
|
2014-07-24 20:18:39 +02:00
|
|
|
|
|
|
|
if (m_disable_hooks)
|
2014-12-05 14:47:09 +01:00
|
|
|
context().user_hooks_support().enable();
|
2013-11-14 22:12:59 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
enum class Mode { Default, Complete, InsertReg };
|
|
|
|
Mode m_mode = Mode::Default;
|
|
|
|
InsertMode m_insert_mode;
|
2013-12-15 19:07:51 +01:00
|
|
|
ScopedEdition m_edition;
|
2014-04-16 20:08:44 +02:00
|
|
|
InsertCompleter m_completer;
|
2014-08-20 00:32:19 +02:00
|
|
|
bool m_autoshowcompl;
|
2013-11-14 22:12:59 +01:00
|
|
|
Timer m_idle_timer;
|
2014-07-24 20:18:39 +02:00
|
|
|
bool m_disable_hooks;
|
2013-11-14 22:12:59 +01:00
|
|
|
};
|
|
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
void InputMode::reset_normal_mode()
|
|
|
|
{
|
|
|
|
m_input_handler.reset_normal_mode();
|
|
|
|
}
|
|
|
|
|
2014-12-19 00:12:58 +01:00
|
|
|
InputHandler::InputHandler(SelectionList selections, Context::Flags flags, String name)
|
|
|
|
: m_context(*this, std::move(selections), flags, std::move(name)),
|
|
|
|
m_mode(new InputModes::Normal(*this))
|
|
|
|
|
2013-11-14 22:12:59 +01:00
|
|
|
{
|
|
|
|
}
|
|
|
|
|
|
|
|
InputHandler::~InputHandler()
|
|
|
|
{}
|
|
|
|
|
|
|
|
void InputHandler::change_input_mode(InputMode* new_mode)
|
|
|
|
{
|
2014-01-30 13:01:19 +01:00
|
|
|
m_mode->on_disabled();
|
2013-11-14 22:12:59 +01:00
|
|
|
m_mode_trash.emplace_back(std::move(m_mode));
|
|
|
|
m_mode.reset(new_mode);
|
2014-01-30 13:01:19 +01:00
|
|
|
new_mode->on_enabled();
|
2013-11-14 22:12:59 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
void InputHandler::insert(InsertMode mode)
|
|
|
|
{
|
|
|
|
change_input_mode(new InputModes::Insert(*this, mode));
|
|
|
|
}
|
|
|
|
|
|
|
|
void InputHandler::repeat_last_insert()
|
|
|
|
{
|
|
|
|
if (m_last_insert.second.empty())
|
|
|
|
return;
|
|
|
|
|
|
|
|
std::vector<Key> keys;
|
|
|
|
swap(keys, m_last_insert.second);
|
|
|
|
// context.last_insert will be refilled by the new Insert
|
|
|
|
// this is very inefficient.
|
|
|
|
change_input_mode(new InputModes::Insert(*this, m_last_insert.first));
|
|
|
|
for (auto& key : keys)
|
|
|
|
m_mode->on_key(key);
|
|
|
|
kak_assert(dynamic_cast<InputModes::Normal*>(m_mode.get()) != nullptr);
|
|
|
|
}
|
|
|
|
|
2014-11-01 20:31:13 +01:00
|
|
|
void InputHandler::prompt(StringView prompt, String initstr,
|
2014-07-11 01:27:04 +02:00
|
|
|
Face prompt_face, Completer completer,
|
2014-04-26 16:09:07 +02:00
|
|
|
PromptCallback callback)
|
2013-11-14 22:12:59 +01:00
|
|
|
{
|
2014-04-26 16:09:07 +02:00
|
|
|
change_input_mode(new InputModes::Prompt(*this, prompt, initstr,
|
2014-07-11 01:27:04 +02:00
|
|
|
prompt_face, completer,
|
2014-04-26 16:09:07 +02:00
|
|
|
callback));
|
2013-11-14 22:12:59 +01:00
|
|
|
}
|
|
|
|
|
2014-07-11 01:27:04 +02:00
|
|
|
void InputHandler::set_prompt_face(Face prompt_face)
|
2013-11-14 22:12:59 +01:00
|
|
|
{
|
|
|
|
InputModes::Prompt* prompt = dynamic_cast<InputModes::Prompt*>(m_mode.get());
|
|
|
|
if (prompt)
|
2014-07-11 01:27:04 +02:00
|
|
|
prompt->set_prompt_face(prompt_face);
|
2013-11-14 22:12:59 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
void InputHandler::menu(memoryview<String> choices,
|
|
|
|
MenuCallback callback)
|
|
|
|
{
|
|
|
|
change_input_mode(new InputModes::Menu(*this, choices, callback));
|
|
|
|
}
|
|
|
|
|
2014-09-23 14:45:18 +02:00
|
|
|
void InputHandler::on_next_key(KeymapMode keymap_mode, KeyCallback callback)
|
2013-11-14 22:12:59 +01:00
|
|
|
{
|
2014-09-23 14:45:18 +02:00
|
|
|
change_input_mode(new InputModes::NextKey(*this, keymap_mode, callback));
|
2013-11-14 22:12:59 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
static bool is_valid(Key key)
|
|
|
|
{
|
|
|
|
return key != Key::Invalid and key.key <= 0x10FFFF;
|
|
|
|
}
|
|
|
|
|
|
|
|
void InputHandler::handle_key(Key key)
|
|
|
|
{
|
|
|
|
if (is_valid(key))
|
|
|
|
{
|
|
|
|
const bool was_recording = is_recording();
|
2014-11-21 20:00:34 +01:00
|
|
|
++m_handle_key_level;
|
|
|
|
auto dec = on_scope_end([&]{ --m_handle_key_level; });
|
2013-11-14 22:12:59 +01:00
|
|
|
|
|
|
|
auto keymap_mode = m_mode->keymap_mode();
|
|
|
|
KeymapManager& keymaps = m_context.keymaps();
|
2014-07-27 21:18:09 +02:00
|
|
|
if (keymaps.is_mapped(key, keymap_mode) and
|
2014-12-05 14:47:09 +01:00
|
|
|
m_context.keymaps_support().is_enabled())
|
2013-11-14 22:12:59 +01:00
|
|
|
{
|
|
|
|
for (auto& k : keymaps.get_mapping(key, keymap_mode))
|
|
|
|
m_mode->on_key(k);
|
|
|
|
}
|
|
|
|
else
|
|
|
|
m_mode->on_key(key);
|
|
|
|
|
2014-11-21 20:00:34 +01:00
|
|
|
// do not record the key that made us enter or leave recording mode,
|
|
|
|
// and the ones that are triggered recursively by previous keys.
|
|
|
|
if (was_recording and is_recording() and m_handle_key_level == 1)
|
2013-11-14 22:12:59 +01:00
|
|
|
m_recorded_keys += key_to_str(key);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
void InputHandler::start_recording(char reg)
|
|
|
|
{
|
|
|
|
kak_assert(m_recording_reg == 0);
|
|
|
|
m_recorded_keys = "";
|
|
|
|
m_recording_reg = reg;
|
|
|
|
}
|
|
|
|
|
|
|
|
bool InputHandler::is_recording() const
|
|
|
|
{
|
|
|
|
return m_recording_reg != 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
void InputHandler::stop_recording()
|
|
|
|
{
|
|
|
|
kak_assert(m_recording_reg != 0);
|
|
|
|
RegisterManager::instance()[m_recording_reg] = memoryview<String>(m_recorded_keys);
|
|
|
|
m_recording_reg = 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
void InputHandler::reset_normal_mode()
|
|
|
|
{
|
|
|
|
change_input_mode(new InputModes::Normal(*this));
|
|
|
|
}
|
|
|
|
|
2014-09-10 20:06:53 +02:00
|
|
|
DisplayLine InputHandler::mode_line() const
|
2013-11-14 22:12:59 +01:00
|
|
|
{
|
2014-09-10 20:06:53 +02:00
|
|
|
return m_mode->mode_line();
|
2013-11-14 22:12:59 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
void InputHandler::clear_mode_trash()
|
|
|
|
{
|
|
|
|
m_mode_trash.clear();
|
|
|
|
}
|
|
|
|
|
|
|
|
}
|