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;
|
|
|
|
|
2015-06-03 21:03:06 +02:00
|
|
|
void handle_key(Key key) { on_key(key, {}); }
|
|
|
|
|
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:
|
2015-06-03 21:03:06 +02:00
|
|
|
// KeepAlive is usedto make sure the current InputMode
|
|
|
|
// stays alive until the end of the on_key method
|
|
|
|
struct KeepAlive { std::shared_ptr<InputMode> ptr; };
|
|
|
|
|
|
|
|
virtual void on_key(Key key, KeepAlive keep_alive) = 0;
|
|
|
|
|
2015-06-12 14:56:11 +02:00
|
|
|
void push_mode(InputMode* new_mode)
|
|
|
|
{
|
|
|
|
m_input_handler.push_mode(new_mode);
|
|
|
|
}
|
|
|
|
|
2015-06-03 21:03:06 +02:00
|
|
|
void pop_mode(KeepAlive& keep_alive)
|
|
|
|
{
|
|
|
|
kak_assert(not keep_alive.ptr);
|
|
|
|
keep_alive.ptr = m_input_handler.pop_mode(this);
|
|
|
|
}
|
2013-11-14 22:12:59 +01:00
|
|
|
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};
|
|
|
|
|
2015-03-22 11:08:44 +01:00
|
|
|
struct MouseHandler
|
|
|
|
{
|
|
|
|
bool handle_key(Key key, Context& context)
|
|
|
|
{
|
|
|
|
if (not context.has_window())
|
|
|
|
return false;
|
|
|
|
|
2015-08-14 14:12:44 +02:00
|
|
|
Buffer& buffer = context.buffer();
|
2015-08-16 15:06:07 +02:00
|
|
|
ByteCoord cursor;
|
|
|
|
switch (key.modifiers)
|
2015-03-22 11:08:44 +01:00
|
|
|
{
|
2015-08-16 15:06:07 +02:00
|
|
|
case Key::Modifiers::MousePress:
|
2015-03-22 11:08:44 +01:00
|
|
|
m_dragging = true;
|
2015-08-23 16:18:18 +02:00
|
|
|
m_anchor = context.window().buffer_coord(key.coord());
|
2015-08-14 14:12:44 +02:00
|
|
|
context.selections_write_only() = SelectionList{ buffer, m_anchor };
|
2015-03-22 11:08:44 +01:00
|
|
|
return true;
|
2015-08-16 15:06:07 +02:00
|
|
|
|
|
|
|
case Key::Modifiers::MouseRelease:
|
2015-03-22 11:08:44 +01:00
|
|
|
if (not m_dragging)
|
|
|
|
return true;
|
|
|
|
m_dragging = false;
|
2015-08-23 16:18:18 +02:00
|
|
|
cursor = context.window().buffer_coord(key.coord());
|
2015-08-14 14:12:44 +02:00
|
|
|
context.selections_write_only() =
|
|
|
|
SelectionList{ buffer, Selection{buffer.clamp(m_anchor), cursor} };
|
2015-03-22 11:08:44 +01:00
|
|
|
return true;
|
2015-08-16 15:06:07 +02:00
|
|
|
|
|
|
|
case Key::Modifiers::MousePos:
|
2015-03-22 11:08:44 +01:00
|
|
|
if (not m_dragging)
|
|
|
|
return true;
|
2015-08-23 16:18:18 +02:00
|
|
|
cursor = context.window().buffer_coord(key.coord());
|
2015-08-14 14:12:44 +02:00
|
|
|
context.selections_write_only() =
|
|
|
|
SelectionList{ buffer, Selection{buffer.clamp(m_anchor), cursor} };
|
2015-03-22 11:08:44 +01:00
|
|
|
return true;
|
2015-08-16 15:06:07 +02:00
|
|
|
|
|
|
|
case Key::Modifiers::MouseWheelDown:
|
|
|
|
m_dragging = false;
|
2015-03-22 13:17:01 +01:00
|
|
|
wheel(context, 3);
|
|
|
|
return true;
|
2015-08-16 15:06:07 +02:00
|
|
|
|
|
|
|
case Key::Modifiers::MouseWheelUp:
|
|
|
|
m_dragging = false;
|
2015-03-22 13:17:01 +01:00
|
|
|
wheel(context, -3);
|
|
|
|
return true;
|
2015-08-16 15:06:07 +02:00
|
|
|
|
|
|
|
default: return false;
|
2015-03-22 13:17:01 +01:00
|
|
|
}
|
2015-03-22 11:08:44 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
private:
|
2015-03-22 13:17:01 +01:00
|
|
|
void wheel(Context& context, LineCount offset)
|
|
|
|
{
|
|
|
|
Window& window = context.window();
|
|
|
|
Buffer& buffer = context.buffer();
|
|
|
|
|
|
|
|
CharCoord win_pos = window.position();
|
|
|
|
CharCoord win_dim = window.dimensions();
|
|
|
|
|
|
|
|
const CharCoord max_offset{(win_dim.line - 1)/2, (win_dim.column - 1)/2};
|
|
|
|
const CharCoord scrolloff =
|
|
|
|
std::min(context.options()["scrolloff"].get<CharCoord>(), max_offset);
|
|
|
|
|
|
|
|
const LineCount line_count = buffer.line_count();
|
|
|
|
win_pos.line = clamp(win_pos.line + offset, 0_line, line_count-1);
|
|
|
|
|
|
|
|
SelectionList& selections = context.selections();
|
|
|
|
const ByteCoord cursor = selections.main().cursor();
|
|
|
|
|
|
|
|
auto clamp_line = [&](LineCount line) { return clamp(line, 0_line, line_count-1); };
|
|
|
|
auto min_coord = buffer.offset_coord(clamp_line(win_pos.line + scrolloff.line), win_pos.column);
|
2015-10-28 01:01:25 +01:00
|
|
|
auto max_coord = buffer.offset_coord(clamp_line(win_pos.line + win_dim.line - 1 - scrolloff.line), win_pos.column);
|
2015-03-22 13:17:01 +01:00
|
|
|
|
|
|
|
selections = SelectionList{buffer, clamp(cursor, min_coord, max_coord)};
|
|
|
|
|
|
|
|
window.set_position(win_pos);
|
|
|
|
}
|
|
|
|
|
2015-03-22 11:08:44 +01:00
|
|
|
bool m_dragging = false;
|
|
|
|
ByteCoord m_anchor;
|
|
|
|
};
|
|
|
|
|
2015-11-09 22:30:07 +01:00
|
|
|
constexpr StringView register_doc =
|
|
|
|
"Special registers:\n"
|
|
|
|
" * %: buffer name\n"
|
|
|
|
" * .: selection contents\n"
|
2015-11-10 21:30:27 +01:00
|
|
|
" * #: selection index\n"
|
|
|
|
" * [0-9]: selections capture group\n"
|
|
|
|
" * \": default yank/paste register\n"
|
|
|
|
" * @: default macro register\n"
|
|
|
|
" * /: default search register\n"
|
|
|
|
" * ^: default mark register\n";
|
2015-11-09 22:30:07 +01:00
|
|
|
|
2013-11-14 22:12:59 +01:00
|
|
|
class Normal : public InputMode
|
|
|
|
{
|
|
|
|
public:
|
2015-06-12 14:56:11 +02:00
|
|
|
Normal(InputHandler& input_handler, bool single_command = false)
|
2013-11-14 22:12:59 +01:00
|
|
|
: InputMode(input_handler),
|
2015-06-03 21:03:06 +02:00
|
|
|
m_idle_timer{TimePoint::max(),
|
2014-12-19 00:12:58 +01:00
|
|
|
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
|
|
|
})},
|
2015-06-03 21:03:06 +02:00
|
|
|
m_fs_check_timer{TimePoint::max(),
|
2014-12-19 00:12:58 +01:00
|
|
|
context().flags() & Context::Flags::Transient ?
|
|
|
|
Timer::Callback() : Timer::Callback([this](Timer& timer) {
|
2015-10-10 15:18:43 +02:00
|
|
|
if (context().has_client())
|
|
|
|
context().client().check_if_buffer_needs_reloading();
|
2013-11-14 22:12:59 +01:00
|
|
|
timer.set_next_date(Clock::now() + fs_check_timeout);
|
2015-06-12 14:56:11 +02:00
|
|
|
})},
|
|
|
|
m_single_command(single_command)
|
2014-01-30 13:01:19 +01:00
|
|
|
{}
|
|
|
|
|
|
|
|
void on_enabled() override
|
2013-11-14 22:12:59 +01:00
|
|
|
{
|
2015-03-04 21:46:26 +01:00
|
|
|
if (context().has_client())
|
|
|
|
context().client().check_if_buffer_needs_reloading();
|
2014-01-30 13:01:19 +01:00
|
|
|
|
2015-10-13 20:31:24 +02:00
|
|
|
m_fs_check_timer.set_next_date(Clock::now() + fs_check_timeout);
|
2015-06-03 21:03:06 +02:00
|
|
|
m_idle_timer.set_next_date(Clock::now() + idle_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
|
|
|
{
|
2015-06-03 21:03:06 +02:00
|
|
|
m_idle_timer.set_next_date(TimePoint::max());
|
|
|
|
m_fs_check_timer.set_next_date(TimePoint::max());
|
|
|
|
|
2013-11-14 22:12:59 +01:00
|
|
|
context().hooks().run_hook("NormalEnd", "", context());
|
|
|
|
}
|
|
|
|
|
2015-06-03 21:03:06 +02:00
|
|
|
void on_key(Key key, KeepAlive keep_alive) override
|
2013-11-14 22:12:59 +01:00
|
|
|
{
|
2014-06-21 23:06:02 +02:00
|
|
|
bool do_restore_hooks = false;
|
|
|
|
auto restore_hooks = on_scope_end([&, this]{
|
2015-11-09 22:30:07 +01:00
|
|
|
if (m_hooks_disabled and do_restore_hooks)
|
2014-06-21 23:06:02 +02:00
|
|
|
{
|
2015-08-19 00:16:53 +02:00
|
|
|
context().user_hooks_disabled().unset();
|
2014-07-26 00:47:47 +02:00
|
|
|
m_hooks_disabled = false;
|
2014-06-21 23:06:02 +02:00
|
|
|
}
|
|
|
|
});
|
|
|
|
|
2015-08-18 01:19:14 +02:00
|
|
|
auto cp = key.codepoint();
|
2015-11-09 22:30:07 +01:00
|
|
|
|
|
|
|
if (m_mouse_handler.handle_key(key, context()))
|
|
|
|
m_idle_timer.set_next_date(Clock::now() + idle_timeout);
|
2015-08-18 01:19:14 +02:00
|
|
|
if (cp and isdigit(*cp))
|
2015-08-31 21:34:45 +02:00
|
|
|
{
|
|
|
|
int new_val = m_params.count * 10 + *cp - '0';
|
|
|
|
if (new_val < 0)
|
|
|
|
context().print_status({ "parameter overflowed", get_face("Error") });
|
|
|
|
else
|
|
|
|
m_params.count = new_val;
|
|
|
|
}
|
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;
|
2015-08-19 00:16:53 +02:00
|
|
|
context().user_hooks_disabled().set();
|
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 == '"')
|
|
|
|
{
|
2015-11-09 22:30:07 +01:00
|
|
|
on_next_key_with_autoinfo(context(), KeymapMode::None,
|
2015-11-25 21:12:11 +01:00
|
|
|
[this](Key key, Context& context) {
|
2015-11-09 22:30:07 +01:00
|
|
|
if (auto cp = key.codepoint())
|
2015-11-25 21:12:11 +01:00
|
|
|
{
|
|
|
|
if (*cp <= 127)
|
|
|
|
m_params.reg = *cp;
|
|
|
|
else
|
|
|
|
context.print_status(
|
|
|
|
{ format("invalid register '{}'", *cp),
|
|
|
|
get_face("Error") });
|
|
|
|
}
|
2015-11-09 22:30:07 +01:00
|
|
|
}, "Enter target register", register_doc);
|
2014-11-28 14:58:36 +01:00
|
|
|
}
|
2013-11-14 22:12:59 +01:00
|
|
|
else
|
|
|
|
{
|
2015-06-12 14:56:11 +02:00
|
|
|
if (m_single_command)
|
|
|
|
pop_mode(keep_alive);
|
|
|
|
|
2015-11-09 22:30:07 +01:00
|
|
|
context().print_status({});
|
|
|
|
if (context().has_ui())
|
|
|
|
context().ui().info_hide();
|
|
|
|
|
|
|
|
do_restore_hooks = true;
|
2015-03-08 12:40:50 +01:00
|
|
|
auto it = std::lower_bound(keymap.begin(), keymap.end(), key,
|
|
|
|
[](const NormalCmdDesc& lhs, const Key& rhs)
|
|
|
|
{ return lhs.key < rhs; });
|
|
|
|
if (it != keymap.end() and it->key == key)
|
2014-07-08 21:25:09 +02:00
|
|
|
{
|
2015-11-19 00:43:51 +01:00
|
|
|
auto autoinfo = context().options()["autoinfo"].get<AutoInfo>();
|
|
|
|
if (autoinfo & AutoInfo::Normal and context().has_ui())
|
2015-03-08 12:40:50 +01:00
|
|
|
context().ui().info_show(key_to_str(key), it->docstring, CharCoord{},
|
2014-11-08 20:08:23 +01:00
|
|
|
get_face("Information"), InfoStyle::Prompt);
|
2015-08-20 20:16:14 +02:00
|
|
|
|
|
|
|
// reset m_params now to be reentrant
|
|
|
|
NormalParams params = m_params;
|
|
|
|
m_params = { 0, 0 };
|
|
|
|
|
|
|
|
it->func(context(), params);
|
2014-07-08 21:25:09 +02:00
|
|
|
}
|
2013-11-14 22:12:59 +01:00
|
|
|
}
|
2015-03-22 11:08:44 +01:00
|
|
|
|
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
|
|
|
{
|
2015-11-24 14:53:15 +01:00
|
|
|
AtomList atoms = { { to_string(context().selections().size()) + " sel", get_face("StatusLineInfo") } };
|
2014-11-28 14:58:36 +01:00
|
|
|
if (m_params.count != 0)
|
2014-09-10 20:06:53 +02:00
|
|
|
{
|
2015-11-24 14:53:15 +01:00
|
|
|
atoms.push_back({ " param=", get_face("StatusLineInfo") });
|
|
|
|
atoms.push_back({ to_string(m_params.count), get_face("StatusLineValue") });
|
2014-11-28 14:58:36 +01:00
|
|
|
}
|
2015-08-19 14:41:16 +02:00
|
|
|
if (m_params.reg)
|
2014-11-28 14:58:36 +01:00
|
|
|
{
|
2015-11-24 14:53:15 +01:00
|
|
|
atoms.push_back({ " reg=", get_face("StatusLineInfo") });
|
|
|
|
atoms.push_back({ StringView(m_params.reg).str(), get_face("StatusLineValue") });
|
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:
|
2015-08-19 14:41:16 +02:00
|
|
|
NormalParams m_params = { 0, 0 };
|
2014-07-26 00:47:47 +02:00
|
|
|
bool m_hooks_disabled = false;
|
2013-11-14 22:12:59 +01:00
|
|
|
Timer m_idle_timer;
|
|
|
|
Timer m_fs_check_timer;
|
2015-03-22 11:08:44 +01:00
|
|
|
MouseHandler m_mouse_handler;
|
2015-06-12 14:56:11 +02:00
|
|
|
const bool m_single_command;
|
2013-11-14 22:12:59 +01:00
|
|
|
};
|
|
|
|
|
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;
|
|
|
|
}
|
2015-04-15 01:34:00 +02:00
|
|
|
while (pos != len and is_horizontal_blank(line[pos]))
|
2014-08-14 01:31:39 +02:00
|
|
|
++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;
|
|
|
|
|
2015-04-15 01:34:00 +02:00
|
|
|
while (pos != len and is_horizontal_blank(line[pos]))
|
2014-08-14 01:31:39 +02:00
|
|
|
++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;
|
|
|
|
|
2015-04-15 01:34:00 +02:00
|
|
|
while (pos != 0_char and is_horizontal_blank(line[pos]))
|
2014-08-14 01:31:39 +02:00
|
|
|
--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)
|
|
|
|
{
|
2015-02-13 20:13:44 +01:00
|
|
|
if (key == Key::Left or key == alt('h'))
|
2013-11-14 22:12:59 +01:00
|
|
|
{
|
|
|
|
if (m_cursor_pos > 0)
|
|
|
|
--m_cursor_pos;
|
|
|
|
}
|
2015-02-13 20:13:44 +01:00
|
|
|
else if (key == Key::Right or key == alt('l'))
|
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();
|
2015-02-13 20:13:44 +01:00
|
|
|
else if (key == Key::Backspace or key == alt('x'))
|
2013-11-14 22:12:59 +01:00
|
|
|
{
|
|
|
|
if (m_cursor_pos != 0)
|
|
|
|
{
|
|
|
|
m_line = m_line.substr(0, m_cursor_pos - 1)
|
|
|
|
+ m_line.substr(m_cursor_pos);
|
|
|
|
|
|
|
|
--m_cursor_pos;
|
|
|
|
}
|
|
|
|
}
|
2015-02-13 20:13:44 +01:00
|
|
|
else if (key == Key::Delete or key == alt('d'))
|
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);
|
2015-08-18 01:19:14 +02:00
|
|
|
else if (auto cp = key.codepoint())
|
2015-11-13 14:52:54 +01:00
|
|
|
insert(*cp);
|
|
|
|
}
|
|
|
|
|
|
|
|
void insert(Codepoint cp)
|
|
|
|
{
|
|
|
|
m_line = m_line.substr(0, m_cursor_pos) + codepoint_to_str(cp)
|
|
|
|
+ m_line.substr(m_cursor_pos);
|
|
|
|
++m_cursor_pos;
|
2013-11-14 22:12:59 +01:00
|
|
|
}
|
|
|
|
|
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
|
|
|
{
|
2015-10-09 14:55:55 +02:00
|
|
|
auto cleanup = [](StringView str) {
|
|
|
|
String res;
|
|
|
|
auto pos = str.begin();
|
|
|
|
for (auto it = str.begin(), end = str.end(); it != end; ++it)
|
|
|
|
{
|
|
|
|
char c = *it;
|
|
|
|
if (c == '\n' or c == '\r')
|
|
|
|
{
|
|
|
|
res += StringView{pos, it};
|
|
|
|
utf8::dump(std::back_inserter(res), c == '\n' ? 0x2424 : 0x240D);
|
|
|
|
pos = it+1;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
res += StringView{pos, str.end()};
|
|
|
|
return res;
|
|
|
|
};
|
|
|
|
|
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())
|
2015-10-09 14:55:55 +02:00
|
|
|
return DisplayLine{{ { cleanup(m_line.substr(m_display_pos, width-1)), get_face("StatusLine") },
|
|
|
|
{ " "_str, get_face("StatusCursor")} } };
|
2013-11-14 22:12:59 +01:00
|
|
|
else
|
2015-10-09 14:55:55 +02:00
|
|
|
return DisplayLine({ { cleanup(m_line.substr(m_display_pos, m_cursor_pos - m_display_pos)), get_face("StatusLine") },
|
|
|
|
{ cleanup(m_line.substr(m_cursor_pos,1)), get_face("StatusCursor") },
|
|
|
|
{ cleanup(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:
|
2015-10-05 02:25:23 +02:00
|
|
|
Menu(InputHandler& input_handler, ConstArrayView<DisplayLine> choices,
|
2013-11-14 22:12:59 +01:00
|
|
|
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
|
|
|
}
|
|
|
|
|
2015-06-03 21:03:06 +02:00
|
|
|
void on_key(Key key, KeepAlive keep_alive) override
|
2013-11-14 22:12:59 +01:00
|
|
|
{
|
2015-10-05 02:25:23 +02:00
|
|
|
auto match_filter = [this](const DisplayLine& choice) {
|
|
|
|
for (auto& atom : choice)
|
|
|
|
{
|
|
|
|
const auto& contents = atom.content();
|
|
|
|
if (regex_match(contents.begin(), contents.end(), m_filter))
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
return false;
|
2013-11-14 22:12:59 +01:00
|
|
|
};
|
|
|
|
|
|
|
|
if (key == ctrl('m'))
|
|
|
|
{
|
|
|
|
if (context().has_ui())
|
|
|
|
context().ui().menu_hide();
|
|
|
|
context().print_status(DisplayLine{});
|
2015-06-03 21:03:06 +02:00
|
|
|
pop_mode(keep_alive);
|
2013-11-14 22:12:59 +01:00
|
|
|
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;
|
2015-07-25 12:15:03 +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();
|
2015-06-03 21:03:06 +02:00
|
|
|
pop_mode(keep_alive);
|
2013-11-14 22:12:59 +01:00
|
|
|
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() + ".*";
|
2015-07-25 12:15:03 +02:00
|
|
|
m_filter = Regex{search};
|
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
|
|
|
{
|
2015-11-24 14:53:15 +01:00
|
|
|
return { "menu", get_face("StatusLineMode") };
|
2013-11-14 22:12:59 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
KeymapMode keymap_mode() const override { return KeymapMode::Menu; }
|
|
|
|
|
|
|
|
private:
|
|
|
|
MenuCallback m_callback;
|
|
|
|
|
2015-10-05 02:25:23 +02:00
|
|
|
using ChoiceList = Vector<DisplayLine>;
|
2013-11-14 22:12:59 +01:00
|
|
|
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());
|
|
|
|
}
|
|
|
|
|
2015-07-25 12:15:03 +02:00
|
|
|
Regex m_filter = Regex{".*"};
|
2014-10-13 14:12:33 +02:00
|
|
|
bool m_edit_filter = false;
|
|
|
|
LineEditor m_filter_editor;
|
2013-11-14 22:12:59 +01:00
|
|
|
};
|
|
|
|
|
2015-03-09 14:48:41 +01:00
|
|
|
String common_prefix(ConstArrayView<String> strings)
|
2013-11-14 22:12:59 +01:00
|
|
|
{
|
|
|
|
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())
|
2015-03-10 20:33:46 +01:00
|
|
|
res = res.substr(0, common_len).str();
|
2013-11-14 22:12:59 +01:00
|
|
|
}
|
|
|
|
return res;
|
|
|
|
}
|
|
|
|
|
2015-11-13 14:52:54 +01:00
|
|
|
static Optional<Codepoint> get_raw_codepoint(Key key)
|
|
|
|
{
|
|
|
|
if (auto cp = key.codepoint())
|
|
|
|
return cp;
|
|
|
|
else if (key.modifiers == Key::Modifiers::Control and
|
|
|
|
((key.key >= '@' and key.key <= '_') or
|
|
|
|
(key.key >= 'a' and key.key <= 'z')))
|
|
|
|
return {(Codepoint)(to_upper((char)key.key) - '@')};
|
|
|
|
return {};
|
|
|
|
}
|
|
|
|
|
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)
|
2015-03-10 20:33:46 +01:00
|
|
|
: InputMode(input_handler), m_prompt(prompt.str()), 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();
|
|
|
|
}
|
|
|
|
|
2015-06-03 21:03:06 +02:00
|
|
|
void on_key(Key key, KeepAlive keep_alive) override
|
2013-11-14 22:12:59 +01:00
|
|
|
{
|
2015-01-28 23:33:29 +01:00
|
|
|
History& history = ms_history[m_prompt];
|
2013-11-14 22:12:59 +01:00
|
|
|
const String& line = m_line_editor.line();
|
|
|
|
bool showcompl = false;
|
|
|
|
|
2015-08-11 14:55:56 +02:00
|
|
|
if (key == ctrl('m')) // enter
|
2013-11-14 22:12:59 +01:00
|
|
|
{
|
2015-08-19 00:16:53 +02:00
|
|
|
if (not context().history_disabled())
|
2014-12-05 15:01:07 +01:00
|
|
|
history_push(history, line);
|
2013-11-14 22:12:59 +01:00
|
|
|
context().print_status(DisplayLine{});
|
|
|
|
if (context().has_ui())
|
|
|
|
context().ui().menu_hide();
|
2015-06-03 21:03:06 +02:00
|
|
|
pop_mode(keep_alive);
|
2015-06-02 21:56:57 +02:00
|
|
|
// call callback after pop_mode so that callback
|
2013-11-14 22:12:59 +01:00
|
|
|
// may change the mode
|
|
|
|
m_callback(line, PromptEvent::Validate, context());
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
else if (key == Key::Escape or key == ctrl('c'))
|
|
|
|
{
|
2015-08-19 00:16:53 +02:00
|
|
|
if (not context().history_disabled())
|
2014-12-05 15:01:07 +01:00
|
|
|
history_push(history, line);
|
2013-11-14 22:12:59 +01:00
|
|
|
context().print_status(DisplayLine{});
|
|
|
|
if (context().has_ui())
|
|
|
|
context().ui().menu_hide();
|
2015-06-03 21:03:06 +02:00
|
|
|
pop_mode(keep_alive);
|
2013-11-14 22:12:59 +01:00
|
|
|
m_callback(line, PromptEvent::Abort, context());
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
else if (key == ctrl('r'))
|
|
|
|
{
|
2015-08-11 21:36:07 +02:00
|
|
|
on_next_key_with_autoinfo(context(), KeymapMode::None,
|
|
|
|
[this](Key key, Context&) {
|
2015-08-18 01:19:14 +02:00
|
|
|
if (auto cp = key.codepoint())
|
|
|
|
{
|
|
|
|
StringView reg = context().main_sel_register_value(String{*cp});
|
|
|
|
m_line_editor.insert(reg);
|
2015-08-11 14:55:56 +02:00
|
|
|
|
2015-08-18 01:19:14 +02:00
|
|
|
display();
|
|
|
|
m_callback(m_line_editor.line(), PromptEvent::Change, context());
|
|
|
|
}
|
2015-08-11 21:36:07 +02:00
|
|
|
}, "Enter register name", register_doc);
|
|
|
|
return;
|
2013-11-14 22:12:59 +01:00
|
|
|
}
|
2015-11-13 14:52:54 +01:00
|
|
|
else if (key == ctrl('v'))
|
|
|
|
{
|
|
|
|
on_next_key_with_autoinfo(context(), KeymapMode::None,
|
|
|
|
[this](Key key, Context&) {
|
|
|
|
if (auto cp = get_raw_codepoint(key))
|
|
|
|
{
|
|
|
|
m_line_editor.insert(*cp);
|
|
|
|
display();
|
|
|
|
m_callback(m_line_editor.line(), PromptEvent::Change, context());
|
|
|
|
}
|
|
|
|
}, "raw insert", "enter key to insert");
|
|
|
|
}
|
2013-11-14 22:12:59 +01:00
|
|
|
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
|
2015-09-20 18:02:37 +02:00
|
|
|
not prefix_match(*m_history_it, m_prefix))
|
2013-11-14 22:12:59 +01:00
|
|
|
++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,
|
2015-03-10 20:33:46 +01:00
|
|
|
m_completions.end - m_completions.start).str();
|
2013-11-14 22:12:59 +01:00
|
|
|
|
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
|
|
|
{
|
2015-11-24 14:53:15 +01:00
|
|
|
return { "prompt", get_face("StatusLineMode") };
|
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()));
|
2015-10-05 02:25:23 +02:00
|
|
|
if (context().has_ui() and not m_completions.candidates.empty())
|
|
|
|
{
|
|
|
|
Vector<DisplayLine> items;
|
|
|
|
for (auto& candidate : m_completions.candidates)
|
|
|
|
items.push_back({ candidate, {} });
|
|
|
|
context().ui().menu_show(items, CharCoord{},
|
|
|
|
get_face("MenuForeground"),
|
|
|
|
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);
|
|
|
|
}
|
|
|
|
|
|
|
|
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
|
|
|
|
2015-01-28 23:33:29 +01:00
|
|
|
using History = Vector<String, MemoryDomain::History>;
|
|
|
|
static UnorderedMap<String, History, MemoryDomain::History> ms_history;
|
|
|
|
History::iterator m_history_it;
|
|
|
|
|
|
|
|
static void history_push(History& history, StringView entry)
|
|
|
|
{
|
2015-06-30 16:06:49 +02:00
|
|
|
if(entry.empty() or is_horizontal_blank(entry[0_byte]))
|
2015-01-28 23:33:29 +01:00
|
|
|
{
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
History::iterator it;
|
|
|
|
while ((it = find(history, entry)) != history.end())
|
|
|
|
history.erase(it);
|
2015-03-10 20:33:46 +01:00
|
|
|
history.push_back(entry.str());
|
2015-01-28 23:33:29 +01:00
|
|
|
}
|
2013-11-14 22:12:59 +01:00
|
|
|
};
|
2015-01-28 23:33:29 +01:00
|
|
|
UnorderedMap<String, Prompt::History, MemoryDomain::History> 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)
|
2015-08-11 21:36:07 +02:00
|
|
|
: InputMode(input_handler), m_keymap_mode(keymap_mode), m_callback(std::move(callback)) {}
|
2013-11-14 22:12:59 +01:00
|
|
|
|
2015-06-03 21:03:06 +02:00
|
|
|
void on_key(Key key, KeepAlive keep_alive) override
|
2013-11-14 22:12:59 +01:00
|
|
|
{
|
2015-06-03 21:03:06 +02:00
|
|
|
pop_mode(keep_alive);
|
2013-11-14 22:12:59 +01:00
|
|
|
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
|
|
|
{
|
2015-11-24 14:53:15 +01:00
|
|
|
return { "enter key", get_face("StatusLineMode") };
|
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),
|
2015-06-03 21:03:06 +02:00
|
|
|
m_idle_timer{TimePoint::max(),
|
2013-11-14 22:12:59 +01:00
|
|
|
[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
|
|
|
}},
|
2015-08-19 00:16:53 +02:00
|
|
|
m_disable_hooks{context().user_hooks_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)
|
2015-08-19 00:16:53 +02:00
|
|
|
context().user_hooks_disabled().set();
|
2014-07-24 20:18:39 +02:00
|
|
|
|
2015-08-08 23:46:11 +02:00
|
|
|
last_insert().mode = mode;
|
|
|
|
last_insert().keys.clear();
|
2013-11-14 22:12:59 +01:00
|
|
|
context().hooks().run_hook("InsertBegin", "", context());
|
|
|
|
prepare(m_insert_mode);
|
|
|
|
}
|
|
|
|
|
2015-06-03 21:03:06 +02:00
|
|
|
~Insert()
|
|
|
|
{
|
|
|
|
auto& selections = context().selections();
|
|
|
|
for (auto& sel : selections)
|
|
|
|
{
|
|
|
|
if (m_insert_mode == InsertMode::Append and sel.cursor().column > 0)
|
|
|
|
sel.cursor() = context().buffer().char_prev(sel.cursor());
|
|
|
|
}
|
|
|
|
selections.avoid_eol();
|
|
|
|
|
|
|
|
if (m_disable_hooks)
|
2015-08-19 00:16:53 +02:00
|
|
|
context().user_hooks_disabled().unset();
|
2015-06-03 21:03:06 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
void on_enabled() override
|
|
|
|
{
|
|
|
|
m_idle_timer.set_next_date(Clock::now() + idle_timeout);
|
|
|
|
}
|
|
|
|
|
|
|
|
void on_disabled() override
|
|
|
|
{
|
|
|
|
m_idle_timer.set_next_date(TimePoint::max());
|
|
|
|
}
|
|
|
|
|
|
|
|
void on_key(Key key, KeepAlive keep_alive) override
|
2013-11-14 22:12:59 +01:00
|
|
|
{
|
2014-01-04 19:18:59 +01:00
|
|
|
auto& buffer = context().buffer();
|
2015-08-08 23:46:11 +02:00
|
|
|
last_insert().keys.push_back(key);
|
2013-11-14 22:12:59 +01:00
|
|
|
|
|
|
|
bool update_completions = true;
|
|
|
|
bool moved = false;
|
|
|
|
if (key == Key::Escape or key == ctrl('c'))
|
|
|
|
{
|
2015-07-08 14:52:41 +02:00
|
|
|
if (m_in_end)
|
|
|
|
throw runtime_error("Asked to exit insert mode while running InsertEnd hook");
|
|
|
|
m_in_end = true;
|
2013-11-14 22:12:59 +01:00
|
|
|
context().hooks().run_hook("InsertEnd", "", context());
|
2015-07-08 14:52:41 +02:00
|
|
|
|
2013-11-14 22:12:59 +01:00
|
|
|
m_completer.reset();
|
2015-06-03 21:03:06 +02:00
|
|
|
pop_mode(keep_alive);
|
2013-11-14 22:12:59 +01:00
|
|
|
}
|
|
|
|
else if (key == Key::Backspace)
|
2014-01-04 19:18:59 +01:00
|
|
|
{
|
2015-01-12 14:58:41 +01:00
|
|
|
Vector<Selection> sels;
|
2014-05-29 06:48:40 +02:00
|
|
|
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
|
|
|
{
|
2015-01-12 14:58:41 +01:00
|
|
|
Vector<Selection> sels;
|
2014-05-29 06:48:40 +02:00
|
|
|
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;
|
|
|
|
}
|
2015-03-27 14:33:14 +01:00
|
|
|
else if (key == Key::Home)
|
|
|
|
{
|
|
|
|
auto& selections = context().selections();
|
|
|
|
for (auto& sel : selections)
|
|
|
|
sel.anchor() = sel.cursor() = ByteCoord{sel.cursor().line, 0};
|
|
|
|
selections.sort_and_merge_overlapping();
|
|
|
|
}
|
|
|
|
else if (key == Key::End)
|
|
|
|
{
|
|
|
|
auto& buffer = context().buffer();
|
|
|
|
auto& selections = context().selections();
|
|
|
|
for (auto& sel : selections)
|
|
|
|
{
|
|
|
|
const LineCount line = sel.cursor().line;
|
|
|
|
sel.anchor() = sel.cursor() = buffer.clamp({line, buffer[line].length()});
|
|
|
|
}
|
|
|
|
selections.sort_and_merge_overlapping();
|
|
|
|
}
|
2015-08-18 01:19:14 +02:00
|
|
|
else if (auto cp = key.codepoint())
|
|
|
|
insert(*cp);
|
2013-11-14 22:12:59 +01:00
|
|
|
else if (key == ctrl('r'))
|
2015-08-11 21:36:07 +02:00
|
|
|
{
|
|
|
|
on_next_key_with_autoinfo(context(), KeymapMode::None,
|
|
|
|
[this](Key key, Context&) {
|
2015-08-18 01:19:14 +02:00
|
|
|
if (auto cp = key.codepoint())
|
|
|
|
insert(RegisterManager::instance()[*cp].values(context()));
|
2015-08-11 21:36:07 +02:00
|
|
|
}, "Enter register name", register_doc);
|
|
|
|
update_completions = false;
|
|
|
|
}
|
2015-03-14 12:11:01 +01:00
|
|
|
else if (key == ctrl('n'))
|
2013-11-14 22:12:59 +01:00
|
|
|
{
|
2015-08-08 23:46:11 +02:00
|
|
|
last_insert().keys.pop_back();
|
|
|
|
m_completer.select(1, last_insert().keys);
|
2013-11-14 22:12:59 +01:00
|
|
|
update_completions = false;
|
|
|
|
}
|
2015-03-14 12:11:01 +01:00
|
|
|
else if (key == ctrl('p'))
|
2013-11-14 22:12:59 +01:00
|
|
|
{
|
2015-08-08 23:46:11 +02:00
|
|
|
last_insert().keys.pop_back();
|
|
|
|
m_completer.select(-1, last_insert().keys);
|
2013-11-14 22:12:59 +01:00
|
|
|
update_completions = false;
|
|
|
|
}
|
2015-03-14 12:11:01 +01:00
|
|
|
else if (key == ctrl('x'))
|
2015-08-11 21:36:07 +02:00
|
|
|
{
|
|
|
|
on_next_key_with_autoinfo(context(), KeymapMode::None,
|
|
|
|
[this](Key key, Context&) {
|
2015-09-19 12:55:55 +02:00
|
|
|
if (key.key == 'f')
|
2015-08-11 14:55:56 +02:00
|
|
|
m_completer.explicit_file_complete();
|
2015-09-19 12:55:55 +02:00
|
|
|
if (key.key == 'w')
|
2015-08-11 14:55:56 +02:00
|
|
|
m_completer.explicit_word_complete();
|
2015-09-19 12:55:55 +02:00
|
|
|
if (key.key == 'l')
|
2015-08-11 14:55:56 +02:00
|
|
|
m_completer.explicit_line_complete();
|
2015-08-11 21:36:07 +02:00
|
|
|
}, "Complete",
|
|
|
|
" Enter completion type:\n"
|
|
|
|
" * f: filename completion\n"
|
|
|
|
" * w: word completion\n"
|
|
|
|
" * l: line completion\n");
|
|
|
|
update_completions = false;
|
|
|
|
}
|
2015-03-14 12:11:01 +01:00
|
|
|
else if (key == ctrl('o'))
|
2014-08-20 00:32:19 +02:00
|
|
|
{
|
|
|
|
m_autoshowcompl = false;
|
|
|
|
m_completer.reset();
|
|
|
|
}
|
2015-03-14 12:11:01 +01:00
|
|
|
else if (key == ctrl('u'))
|
2013-11-14 22:12:59 +01:00
|
|
|
context().buffer().commit_undo_group();
|
2015-11-13 14:52:54 +01:00
|
|
|
else if (key == ctrl('v'))
|
|
|
|
{
|
|
|
|
on_next_key_with_autoinfo(context(), KeymapMode::None,
|
|
|
|
[this](Key key, Context&) {
|
|
|
|
if (auto cp = get_raw_codepoint(key))
|
|
|
|
{
|
|
|
|
insert(*cp);
|
|
|
|
context().hooks().run_hook("InsertKey", key_to_str(key), context());
|
|
|
|
m_idle_timer.set_next_date(Clock::now() + idle_timeout);
|
|
|
|
}
|
|
|
|
}, "raw insert", "enter key to insert");
|
|
|
|
update_completions = false;
|
|
|
|
}
|
2015-06-12 14:56:11 +02:00
|
|
|
else if (key == alt(';'))
|
|
|
|
{
|
|
|
|
push_mode(new Normal(context().input_handler(), true));
|
|
|
|
return;
|
|
|
|
}
|
2013-11-14 22:12:59 +01:00
|
|
|
|
|
|
|
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();
|
2015-11-24 14:53:15 +01:00
|
|
|
return {AtomList{ { "insert ", get_face("StatusLineMode") },
|
|
|
|
{ format( "{} sel", num_sel), get_face("StatusLineInfo") } }};
|
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();
|
|
|
|
}
|
|
|
|
|
2015-03-09 14:48:41 +01:00
|
|
|
void insert(ConstArrayView<String> strings)
|
2013-11-14 22:12:59 +01:00
|
|
|
{
|
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
|
|
|
}
|
|
|
|
|
|
|
|
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;
|
2015-07-08 14:52:41 +02:00
|
|
|
bool m_in_end = false;
|
2013-11-14 22:12:59 +01:00
|
|
|
};
|
|
|
|
|
|
|
|
}
|
|
|
|
|
2015-06-02 21:56:57 +02:00
|
|
|
InputHandler::InputHandler(SelectionList selections, Context::Flags flags, String name)
|
|
|
|
: m_context(*this, std::move(selections), flags, std::move(name))
|
2013-11-14 22:12:59 +01:00
|
|
|
{
|
2015-06-02 21:56:57 +02:00
|
|
|
m_mode_stack.emplace_back(new InputModes::Normal(*this));
|
2015-10-13 20:31:24 +02:00
|
|
|
current_mode().on_enabled();
|
2013-11-14 22:12:59 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
InputHandler::~InputHandler()
|
|
|
|
{}
|
|
|
|
|
2015-06-02 21:56:57 +02:00
|
|
|
void InputHandler::push_mode(InputMode* new_mode)
|
2013-11-14 22:12:59 +01:00
|
|
|
{
|
2015-06-02 21:56:57 +02:00
|
|
|
current_mode().on_disabled();
|
|
|
|
m_mode_stack.emplace_back(new_mode);
|
2014-01-30 13:01:19 +01:00
|
|
|
new_mode->on_enabled();
|
2013-11-14 22:12:59 +01:00
|
|
|
}
|
|
|
|
|
2015-06-03 21:03:06 +02:00
|
|
|
std::unique_ptr<InputMode> InputHandler::pop_mode(InputMode* mode)
|
2015-06-02 21:56:57 +02:00
|
|
|
{
|
|
|
|
kak_assert(m_mode_stack.back() == mode);
|
|
|
|
kak_assert(m_mode_stack.size() > 1);
|
|
|
|
|
|
|
|
current_mode().on_disabled();
|
2015-06-03 21:03:06 +02:00
|
|
|
std::unique_ptr<InputMode> res = std::move(m_mode_stack.back());
|
2015-06-02 21:56:57 +02:00
|
|
|
m_mode_stack.pop_back();
|
|
|
|
current_mode().on_enabled();
|
2015-06-03 21:03:06 +02:00
|
|
|
return res;
|
2015-06-02 21:56:57 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
void InputHandler::reset_normal_mode()
|
|
|
|
{
|
2015-06-03 21:03:06 +02:00
|
|
|
if (m_mode_stack.size() > 1)
|
2015-06-02 21:56:57 +02:00
|
|
|
{
|
|
|
|
current_mode().on_disabled();
|
2015-06-03 21:03:06 +02:00
|
|
|
m_mode_stack.resize(1);
|
2015-06-02 21:56:57 +02:00
|
|
|
}
|
|
|
|
kak_assert(dynamic_cast<InputModes::Normal*>(¤t_mode()) != nullptr);
|
2015-06-04 14:56:08 +02:00
|
|
|
current_mode().on_enabled();
|
2015-06-02 21:56:57 +02:00
|
|
|
}
|
|
|
|
|
2013-11-14 22:12:59 +01:00
|
|
|
void InputHandler::insert(InsertMode mode)
|
|
|
|
{
|
2015-06-02 21:56:57 +02:00
|
|
|
push_mode(new InputModes::Insert(*this, mode));
|
2013-11-14 22:12:59 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
void InputHandler::repeat_last_insert()
|
|
|
|
{
|
2015-08-08 23:46:11 +02:00
|
|
|
if (m_last_insert.keys.empty())
|
2013-11-14 22:12:59 +01:00
|
|
|
return;
|
|
|
|
|
2015-01-12 14:58:41 +01:00
|
|
|
Vector<Key> keys;
|
2015-08-08 23:46:11 +02:00
|
|
|
swap(keys, m_last_insert.keys);
|
2013-11-14 22:12:59 +01:00
|
|
|
// context.last_insert will be refilled by the new Insert
|
|
|
|
// this is very inefficient.
|
2015-08-08 23:46:11 +02:00
|
|
|
push_mode(new InputModes::Insert(*this, m_last_insert.mode));
|
2013-11-14 22:12:59 +01:00
|
|
|
for (auto& key : keys)
|
2015-06-03 21:03:06 +02:00
|
|
|
current_mode().handle_key(key);
|
2015-06-02 21:56:57 +02:00
|
|
|
kak_assert(dynamic_cast<InputModes::Normal*>(¤t_mode()) != nullptr);
|
2013-11-14 22:12:59 +01:00
|
|
|
}
|
|
|
|
|
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
|
|
|
{
|
2015-06-02 21:56:57 +02:00
|
|
|
push_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
|
|
|
{
|
2015-06-02 21:56:57 +02:00
|
|
|
InputModes::Prompt* prompt = dynamic_cast<InputModes::Prompt*>(¤t_mode());
|
2013-11-14 22:12:59 +01:00
|
|
|
if (prompt)
|
2014-07-11 01:27:04 +02:00
|
|
|
prompt->set_prompt_face(prompt_face);
|
2013-11-14 22:12:59 +01:00
|
|
|
}
|
|
|
|
|
2015-10-05 02:25:23 +02:00
|
|
|
void InputHandler::menu(ConstArrayView<DisplayLine> choices, MenuCallback callback)
|
2013-11-14 22:12:59 +01:00
|
|
|
{
|
2015-06-02 21:56:57 +02:00
|
|
|
push_mode(new InputModes::Menu(*this, choices, callback));
|
2013-11-14 22:12:59 +01:00
|
|
|
}
|
|
|
|
|
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
|
|
|
{
|
2015-06-02 21:56:57 +02:00
|
|
|
push_mode(new InputModes::NextKey(*this, keymap_mode, callback));
|
2013-11-14 22:12:59 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
static bool is_valid(Key key)
|
|
|
|
{
|
2015-03-22 11:08:44 +01:00
|
|
|
return key != Key::Invalid and
|
|
|
|
((key.modifiers & ~Key::Modifiers::ControlAlt) or key.key <= 0x10FFFF);
|
2013-11-14 22:12:59 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
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
|
|
|
|
2015-06-02 21:56:57 +02:00
|
|
|
auto keymap_mode = current_mode().keymap_mode();
|
2013-11-14 22:12:59 +01:00
|
|
|
KeymapManager& keymaps = m_context.keymaps();
|
2014-07-27 21:18:09 +02:00
|
|
|
if (keymaps.is_mapped(key, keymap_mode) and
|
2015-08-19 00:16:53 +02:00
|
|
|
not m_context.keymaps_disabled())
|
2013-11-14 22:12:59 +01:00
|
|
|
{
|
2015-11-10 22:24:47 +01:00
|
|
|
ScopedSetBool disable_history{context().history_disabled()};
|
2013-11-14 22:12:59 +01:00
|
|
|
for (auto& k : keymaps.get_mapping(key, keymap_mode))
|
2015-06-03 21:03:06 +02:00
|
|
|
current_mode().handle_key(k);
|
2013-11-14 22:12:59 +01:00
|
|
|
}
|
|
|
|
else
|
2015-06-03 21:03:06 +02:00
|
|
|
current_mode().handle_key(key);
|
2013-11-14 22:12:59 +01:00
|
|
|
|
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);
|
2015-03-09 14:48:41 +01:00
|
|
|
RegisterManager::instance()[m_recording_reg] = ConstArrayView<String>(m_recorded_keys);
|
2013-11-14 22:12:59 +01:00
|
|
|
m_recording_reg = 0;
|
|
|
|
}
|
|
|
|
|
2014-09-10 20:06:53 +02:00
|
|
|
DisplayLine InputHandler::mode_line() const
|
2013-11-14 22:12:59 +01:00
|
|
|
{
|
2015-06-02 21:56:57 +02:00
|
|
|
return current_mode().mode_line();
|
2013-11-14 22:12:59 +01:00
|
|
|
}
|
|
|
|
|
2015-11-19 00:43:51 +01:00
|
|
|
bool show_auto_info_ifn(StringView title, StringView info, AutoInfo mask, const Context& context)
|
2015-08-11 21:36:07 +02:00
|
|
|
{
|
2015-11-21 18:21:21 +01:00
|
|
|
if (not (context.options()["autoinfo"].get<AutoInfo>() & mask) or
|
2015-11-19 00:43:51 +01:00
|
|
|
not context.has_ui())
|
2015-08-11 21:36:07 +02:00
|
|
|
return false;
|
2015-11-19 00:43:51 +01:00
|
|
|
|
2015-08-11 21:36:07 +02:00
|
|
|
Face face = get_face("Information");
|
|
|
|
context.ui().info_show(title, info, CharCoord{}, face, InfoStyle::Prompt);
|
|
|
|
return true;
|
|
|
|
}
|
2015-11-19 00:43:51 +01:00
|
|
|
|
2013-11-14 22:12:59 +01:00
|
|
|
}
|