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"
|
2018-04-04 03:00:25 +02:00
|
|
|
#include "command_manager.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"
|
2018-05-26 02:01:26 +02:00
|
|
|
#include "option_types.hh"
|
2014-10-13 14:12:33 +02:00
|
|
|
#include "regex.hh"
|
2014-04-28 22:54:00 +02:00
|
|
|
#include "register_manager.hh"
|
2017-03-07 01:30:54 +01:00
|
|
|
#include "hash_map.hh"
|
2016-11-29 20:53:11 +01:00
|
|
|
#include "user_interface.hh"
|
2014-04-28 22:54:00 +02:00
|
|
|
#include "utf8.hh"
|
|
|
|
#include "window.hh"
|
2020-10-19 10:36:58 +02:00
|
|
|
#include "word_db.hh"
|
2013-11-14 22:12:59 +01:00
|
|
|
|
2021-01-03 00:58:09 +01:00
|
|
|
#include <utility>
|
|
|
|
#include <limits>
|
|
|
|
|
2013-11-14 22:12:59 +01:00
|
|
|
namespace Kakoune
|
|
|
|
{
|
|
|
|
|
2015-12-13 00:51:51 +01:00
|
|
|
class InputMode : public RefCountable
|
2013-11-14 22:12:59 +01:00
|
|
|
{
|
|
|
|
public:
|
|
|
|
InputMode(InputHandler& input_handler) : m_input_handler(input_handler) {}
|
2017-01-08 23:30:15 +01:00
|
|
|
~InputMode() override = default;
|
2013-11-14 22:12:59 +01:00
|
|
|
InputMode(const InputMode&) = delete;
|
|
|
|
InputMode& operator=(const InputMode&) = delete;
|
|
|
|
|
2015-12-13 00:51:51 +01:00
|
|
|
void handle_key(Key key) { RefPtr<InputMode> keep_alive{this}; on_key(key); }
|
2015-06-03 21:03:06 +02:00
|
|
|
|
2014-01-30 13:01:19 +01:00
|
|
|
virtual void on_enabled() {}
|
2017-09-28 05:11:29 +02:00
|
|
|
virtual void on_disabled(bool temporary) {}
|
2017-05-22 17:56:06 +02:00
|
|
|
|
|
|
|
bool enabled() const { return &m_input_handler.current_mode() == this; }
|
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;
|
|
|
|
|
2017-12-18 01:03:29 +01:00
|
|
|
virtual StringView name() const = 0;
|
|
|
|
|
2017-04-12 11:39:17 +02:00
|
|
|
virtual std::pair<CursorMode, DisplayCoord> get_cursor_info() const
|
|
|
|
{
|
2017-07-16 06:12:17 +02:00
|
|
|
const auto cursor = context().selections().main().cursor();
|
|
|
|
auto coord = context().window().display_position(cursor).value_or(DisplayCoord{});
|
2017-04-12 11:39:17 +02:00
|
|
|
return {CursorMode::Buffer, coord};
|
|
|
|
}
|
|
|
|
|
2013-11-14 22:12:59 +01:00
|
|
|
using Insertion = InputHandler::Insertion;
|
|
|
|
Insertion& last_insert() { return m_input_handler.m_last_insert; }
|
|
|
|
|
|
|
|
protected:
|
2015-12-13 00:51:51 +01:00
|
|
|
virtual void on_key(Key key) = 0;
|
2015-06-03 21:03:06 +02:00
|
|
|
|
2015-06-12 14:56:11 +02:00
|
|
|
void push_mode(InputMode* new_mode)
|
|
|
|
{
|
|
|
|
m_input_handler.push_mode(new_mode);
|
|
|
|
}
|
|
|
|
|
2015-12-13 00:51:51 +01:00
|
|
|
void pop_mode()
|
2015-06-03 21:03:06 +02:00
|
|
|
{
|
2015-12-13 00:51:51 +01:00
|
|
|
m_input_handler.pop_mode(this);
|
2015-06-03 21:03:06 +02:00
|
|
|
}
|
2013-11-14 22:12:59 +01:00
|
|
|
private:
|
|
|
|
InputHandler& m_input_handler;
|
|
|
|
};
|
|
|
|
|
|
|
|
namespace InputModes
|
|
|
|
{
|
|
|
|
|
2016-09-18 14:47:22 +02:00
|
|
|
std::chrono::milliseconds get_idle_timeout(const Context& context)
|
|
|
|
{
|
|
|
|
return std::chrono::milliseconds{context.options()["idle_timeout"].get<int>()};
|
|
|
|
}
|
|
|
|
|
|
|
|
std::chrono::milliseconds get_fs_check_timeout(const Context& context)
|
|
|
|
{
|
|
|
|
return std::chrono::milliseconds{context.options()["fs_check_timeout"].get<int>()};
|
|
|
|
}
|
2013-11-14 22:12:59 +01:00
|
|
|
|
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();
|
2016-09-22 21:36:26 +02:00
|
|
|
BufferCoord cursor;
|
2016-10-13 23:59:02 +02:00
|
|
|
auto& selections = context.selections();
|
2020-06-28 11:48:55 +02:00
|
|
|
constexpr auto modifiers = Key::Modifiers::Control | Key::Modifiers::Alt | Key::Modifiers::Shift | Key::Modifiers::MouseButtonMask;
|
2019-09-07 14:33:06 +02:00
|
|
|
switch ((key.modifiers & ~modifiers).value)
|
2015-03-22 11:08:44 +01:00
|
|
|
{
|
2020-06-28 11:48:55 +02:00
|
|
|
case Key::Modifiers::MousePress:
|
|
|
|
switch (key.mouse_button())
|
2016-10-13 23:59:02 +02:00
|
|
|
{
|
2020-06-28 11:48:55 +02:00
|
|
|
case Key::MouseButton::Right:
|
|
|
|
m_dragging = false;
|
|
|
|
cursor = context.window().buffer_coord(key.coord());
|
|
|
|
if (key.modifiers & Key::Modifiers::Control)
|
|
|
|
selections = {{selections.begin()->anchor(), cursor}};
|
|
|
|
else
|
|
|
|
selections.main() = {selections.main().anchor(), cursor};
|
2016-10-13 23:59:02 +02:00
|
|
|
selections.sort_and_merge_overlapping();
|
2020-06-28 11:48:55 +02:00
|
|
|
return true;
|
|
|
|
|
|
|
|
case Key::MouseButton::Left:
|
|
|
|
m_dragging = true;
|
|
|
|
m_anchor = context.window().buffer_coord(key.coord());
|
|
|
|
if (not (key.modifiers & Key::Modifiers::Control))
|
|
|
|
context.selections_write_only() = { buffer, m_anchor};
|
|
|
|
else
|
|
|
|
{
|
|
|
|
size_t main = selections.size();
|
|
|
|
selections.push_back({m_anchor});
|
|
|
|
selections.set_main_index(main);
|
|
|
|
selections.sort_and_merge_overlapping();
|
|
|
|
}
|
|
|
|
return true;
|
|
|
|
|
|
|
|
default: return true;
|
2016-10-13 23:59:02 +02:00
|
|
|
}
|
2015-08-16 15:06:07 +02:00
|
|
|
|
2020-06-28 11:48:55 +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());
|
2016-10-13 23:59:02 +02:00
|
|
|
selections.main() = {buffer.clamp(m_anchor), cursor};
|
|
|
|
selections.sort_and_merge_overlapping();
|
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());
|
2016-10-13 23:59:02 +02:00
|
|
|
selections.main() = {buffer.clamp(m_anchor), cursor};
|
|
|
|
selections.sort_and_merge_overlapping();
|
2015-03-22 11:08:44 +01:00
|
|
|
return true;
|
2015-08-16 15:06:07 +02:00
|
|
|
|
2019-08-19 14:16:39 +02:00
|
|
|
case Key::Modifiers::Scroll:
|
2019-11-28 16:35:52 +01:00
|
|
|
scroll_window(context, static_cast<int32_t>(key.key), m_dragging);
|
2015-03-22 13:17:01 +01:00
|
|
|
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:
|
|
|
|
bool m_dragging = false;
|
2016-09-22 21:36:26 +02:00
|
|
|
BufferCoord m_anchor;
|
2015-03-22 11:08:44 +01:00
|
|
|
};
|
|
|
|
|
2015-11-09 22:30:07 +01:00
|
|
|
constexpr StringView register_doc =
|
|
|
|
"Special registers:\n"
|
2017-07-06 18:47:02 +02:00
|
|
|
"[0-9]: selections capture group\n"
|
|
|
|
"%: buffer name\n"
|
|
|
|
".: selection contents\n"
|
|
|
|
"#: selection index\n"
|
|
|
|
"_: null register\n"
|
|
|
|
"\": default yank/paste register\n"
|
|
|
|
"@: default macro register\n"
|
|
|
|
"/: default search register\n"
|
|
|
|
"^: default mark register\n"
|
|
|
|
"|: default shell command register\n"
|
|
|
|
":: last entered command\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(),
|
2018-05-13 09:59:01 +02:00
|
|
|
context().flags() & Context::Flags::Draft ?
|
2017-06-08 10:53:23 +02:00
|
|
|
Timer::Callback{} : [this](Timer&) {
|
2020-12-01 10:00:38 +01:00
|
|
|
RefPtr<InputMode> keep_alive{this}; // hook could trigger pop_mode()
|
2018-10-22 23:15:53 +02:00
|
|
|
context().hooks().run_hook(Hook::NormalIdle, "", context());
|
2017-06-08 10:53:23 +02:00
|
|
|
}},
|
2015-06-03 21:03:06 +02:00
|
|
|
m_fs_check_timer{TimePoint::max(),
|
2018-05-13 09:59:01 +02:00
|
|
|
context().flags() & Context::Flags::Draft ?
|
2017-06-08 10:53:23 +02:00
|
|
|
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();
|
2016-09-18 14:47:22 +02:00
|
|
|
timer.set_next_date(Clock::now() + get_fs_check_timeout(context()));
|
2017-06-08 10:53:23 +02:00
|
|
|
}}},
|
2018-07-15 02:39:25 +02:00
|
|
|
m_state(single_command ? State::SingleCommand : State::Normal)
|
2014-01-30 13:01:19 +01:00
|
|
|
{}
|
|
|
|
|
|
|
|
void on_enabled() override
|
2013-11-14 22:12:59 +01:00
|
|
|
{
|
2018-07-15 02:39:25 +02:00
|
|
|
if (m_state == State::PopOnEnabled)
|
|
|
|
return pop_mode();
|
|
|
|
|
2018-05-13 09:59:01 +02:00
|
|
|
if (not (context().flags() & Context::Flags::Draft))
|
2017-06-23 11:01:24 +02:00
|
|
|
{
|
|
|
|
if (context().has_client())
|
|
|
|
context().client().check_if_buffer_needs_reloading();
|
2014-01-30 13:01:19 +01:00
|
|
|
|
2017-06-23 11:01:24 +02:00
|
|
|
m_fs_check_timer.set_next_date(Clock::now() + get_fs_check_timeout(context()));
|
|
|
|
m_idle_timer.set_next_date(Clock::now() + get_idle_timeout(context()));
|
|
|
|
}
|
2015-06-03 21:03:06 +02:00
|
|
|
|
2016-10-03 21:02:37 +02:00
|
|
|
if (m_hooks_disabled and not m_in_on_key)
|
|
|
|
{
|
|
|
|
context().hooks_disabled().unset();
|
|
|
|
m_hooks_disabled = false;
|
|
|
|
}
|
2013-11-14 22:12:59 +01:00
|
|
|
}
|
|
|
|
|
2017-12-06 05:59:31 +01:00
|
|
|
void on_disabled(bool temporary) override
|
2013-11-14 22:12:59 +01:00
|
|
|
{
|
2020-12-20 01:32:15 +01:00
|
|
|
m_idle_timer.disable();
|
|
|
|
m_fs_check_timer.disable();
|
2015-06-03 21:03:06 +02:00
|
|
|
|
2017-12-06 05:59:31 +01:00
|
|
|
if (not temporary and m_hooks_disabled)
|
|
|
|
{
|
|
|
|
context().hooks_disabled().unset();
|
|
|
|
m_hooks_disabled = false;
|
|
|
|
}
|
2013-11-14 22:12:59 +01:00
|
|
|
}
|
|
|
|
|
2015-12-13 00:51:51 +01:00
|
|
|
void on_key(Key key) override
|
2013-11-14 22:12:59 +01:00
|
|
|
{
|
2018-07-15 02:39:25 +02:00
|
|
|
kak_assert(m_state != State::PopOnEnabled);
|
2017-05-26 09:28:34 +02:00
|
|
|
ScopedSetBool set_in_on_key{m_in_on_key};
|
2017-05-27 07:18:39 +02:00
|
|
|
|
2014-06-21 23:06:02 +02:00
|
|
|
bool do_restore_hooks = false;
|
|
|
|
auto restore_hooks = on_scope_end([&, this]{
|
2017-05-22 17:56:06 +02:00
|
|
|
if (m_hooks_disabled and enabled() and do_restore_hooks)
|
2014-06-21 23:06:02 +02:00
|
|
|
{
|
2016-09-27 00:43:05 +02:00
|
|
|
context().hooks_disabled().unset();
|
2014-07-26 00:47:47 +02:00
|
|
|
m_hooks_disabled = false;
|
2014-06-21 23:06:02 +02:00
|
|
|
}
|
|
|
|
});
|
|
|
|
|
2018-05-13 09:59:01 +02:00
|
|
|
const bool transient = context().flags() & Context::Flags::Draft;
|
2017-06-23 11:01:24 +02:00
|
|
|
|
2015-11-09 22:30:07 +01:00
|
|
|
if (m_mouse_handler.handle_key(key, context()))
|
2017-06-23 11:01:24 +02:00
|
|
|
{
|
2017-09-12 05:38:17 +02:00
|
|
|
context().print_status({});
|
|
|
|
if (context().has_client())
|
|
|
|
context().client().info_hide();
|
|
|
|
|
2017-06-23 11:01:24 +02:00
|
|
|
if (not transient)
|
|
|
|
m_idle_timer.set_next_date(Clock::now() + get_idle_timeout(context()));
|
|
|
|
}
|
2019-08-19 14:16:39 +02:00
|
|
|
else if (auto cp = key.codepoint(); cp and isdigit(*cp))
|
2015-08-31 21:34:45 +02:00
|
|
|
{
|
2017-07-19 17:55:48 +02:00
|
|
|
long long new_val = (long long)m_params.count * 10 + *cp - '0';
|
|
|
|
if (new_val > std::numeric_limits<int>::max())
|
2018-04-07 07:36:39 +02:00
|
|
|
context().print_status({ "parameter overflowed", context().faces()["Error"] });
|
2015-08-31 21:34:45 +02:00
|
|
|
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;
|
2016-09-27 00:43:05 +02:00
|
|
|
context().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 == '"')
|
|
|
|
{
|
2019-11-11 11:38:40 +01:00
|
|
|
on_next_key_with_autoinfo(context(), "register", KeymapMode::None,
|
2015-11-25 21:12:11 +01:00
|
|
|
[this](Key key, Context& context) {
|
2017-09-21 11:53:10 +02:00
|
|
|
auto cp = key.codepoint();
|
|
|
|
if (not cp or key == Key::Escape)
|
|
|
|
return;
|
|
|
|
if (*cp <= 127)
|
|
|
|
m_params.reg = *cp;
|
|
|
|
else
|
|
|
|
context.print_status(
|
|
|
|
{ format("invalid register '{}'", *cp),
|
2018-04-07 07:36:39 +02:00
|
|
|
context.faces()["Error"] });
|
2020-02-27 16:36:15 +01:00
|
|
|
}, "enter target register", register_doc.str());
|
2014-11-28 14:58:36 +01:00
|
|
|
}
|
2013-11-14 22:12:59 +01:00
|
|
|
else
|
|
|
|
{
|
2018-07-15 02:39:25 +02:00
|
|
|
auto pop_if_single_command = on_scope_end([this] {
|
|
|
|
if (m_state == State::SingleCommand and enabled())
|
2018-07-26 13:56:34 +02:00
|
|
|
pop_mode();
|
2018-07-15 02:39:25 +02:00
|
|
|
else if (m_state == State::SingleCommand)
|
|
|
|
m_state = State::PopOnEnabled;
|
|
|
|
});
|
2015-06-12 14:56:11 +02:00
|
|
|
|
2015-11-09 22:30:07 +01:00
|
|
|
context().print_status({});
|
2016-02-27 18:23:13 +01:00
|
|
|
if (context().has_client())
|
|
|
|
context().client().info_hide();
|
2015-11-09 22:30:07 +01:00
|
|
|
|
2019-08-19 14:16:39 +02:00
|
|
|
// Hack to parse keys sent by terminals using the 8th bit to mark the
|
|
|
|
// meta key. In normal mode, give priority to a potential alt-key than
|
|
|
|
// the accentuated character.
|
|
|
|
if (key.key >= 127 and key.key < 256)
|
|
|
|
{
|
|
|
|
key.modifiers |= Key::Modifiers::Alt;
|
|
|
|
key.key &= 0x7f;
|
|
|
|
}
|
|
|
|
|
2015-11-09 22:30:07 +01:00
|
|
|
do_restore_hooks = true;
|
2017-10-17 05:29:52 +02:00
|
|
|
if (auto command = get_normal_command(key))
|
2014-07-08 21:25:09 +02:00
|
|
|
{
|
2015-11-19 00:43:51 +01:00
|
|
|
auto autoinfo = context().options()["autoinfo"].get<AutoInfo>();
|
2016-02-27 18:23:13 +01:00
|
|
|
if (autoinfo & AutoInfo::Normal and context().has_client())
|
2017-10-17 05:29:52 +02:00
|
|
|
context().client().info_show(key_to_str(key), command->docstring.str(),
|
2016-02-27 18:23:13 +01:00
|
|
|
{}, 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 };
|
|
|
|
|
2017-10-17 05:29:52 +02:00
|
|
|
command->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
|
|
|
|
2018-10-22 23:15:53 +02:00
|
|
|
context().hooks().run_hook(Hook::NormalKey, key_to_str(key), context());
|
2017-06-23 11:01:24 +02:00
|
|
|
if (enabled() and not transient) // The hook might have changed mode
|
2017-05-22 17:56:06 +02:00
|
|
|
m_idle_timer.set_next_date(Clock::now() + get_idle_timeout(context()));
|
2013-11-14 22:12:59 +01:00
|
|
|
}
|
|
|
|
|
2014-09-10 20:06:53 +02:00
|
|
|
DisplayLine mode_line() const override
|
2013-11-14 22:12:59 +01:00
|
|
|
{
|
2017-07-12 08:39:24 +02:00
|
|
|
AtomList atoms;
|
|
|
|
auto num_sel = context().selections().size();
|
|
|
|
auto main_index = context().selections().main_index();
|
|
|
|
if (num_sel == 1)
|
2018-04-07 07:36:39 +02:00
|
|
|
atoms.emplace_back(format("{} sel", num_sel), context().faces()["StatusLineInfo"]);
|
2017-07-12 08:39:24 +02:00
|
|
|
else
|
2018-04-07 07:36:39 +02:00
|
|
|
atoms.emplace_back(format("{} sels ({})", num_sel, main_index + 1), context().faces()["StatusLineInfo"]);
|
2017-07-12 08:39:24 +02:00
|
|
|
|
2014-11-28 14:58:36 +01:00
|
|
|
if (m_params.count != 0)
|
2014-09-10 20:06:53 +02:00
|
|
|
{
|
2018-04-07 07:36:39 +02:00
|
|
|
atoms.emplace_back(" param=", context().faces()["StatusLineInfo"]);
|
|
|
|
atoms.emplace_back(to_string(m_params.count), context().faces()["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
|
|
|
{
|
2018-04-07 07:36:39 +02:00
|
|
|
atoms.emplace_back(" reg=", context().faces()["StatusLineInfo"]);
|
|
|
|
atoms.emplace_back(StringView(m_params.reg).str(), context().faces()["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; }
|
|
|
|
|
2017-12-18 01:03:29 +01:00
|
|
|
StringView name() const override { return "normal"; }
|
|
|
|
|
2013-11-14 22:12:59 +01:00
|
|
|
private:
|
2016-11-03 00:12:57 +01:00
|
|
|
friend struct InputHandler::ScopedForceNormal;
|
|
|
|
|
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;
|
2016-12-15 10:46:10 +01:00
|
|
|
NestedBool m_in_on_key;
|
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;
|
2018-07-15 02:39:25 +02:00
|
|
|
|
|
|
|
enum class State { Normal, SingleCommand, PopOnEnabled };
|
|
|
|
State m_state;
|
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:
|
2018-04-07 07:36:39 +02:00
|
|
|
LineEditor(const FaceRegistry& faces) : m_faces{faces} {}
|
|
|
|
|
2013-11-14 22:12:59 +01:00
|
|
|
void handle_key(Key key)
|
|
|
|
{
|
2018-09-03 23:55:56 +02:00
|
|
|
auto erase_move = [this](auto&& move_func) {
|
|
|
|
auto old_pos = m_cursor_pos;
|
|
|
|
move_func(m_cursor_pos, m_line);
|
|
|
|
if (m_cursor_pos > old_pos)
|
|
|
|
std::swap(m_cursor_pos, old_pos);
|
|
|
|
m_clipboard = m_line.substr(m_cursor_pos, old_pos - m_cursor_pos).str();
|
|
|
|
m_line = m_line.substr(0, m_cursor_pos) + m_line.substr(old_pos);
|
|
|
|
};
|
|
|
|
|
2018-09-03 14:15:28 +02:00
|
|
|
if (key == Key::Left or key == ctrl('b'))
|
2013-11-14 22:12:59 +01:00
|
|
|
{
|
|
|
|
if (m_cursor_pos > 0)
|
|
|
|
--m_cursor_pos;
|
|
|
|
}
|
2018-09-03 14:15:28 +02:00
|
|
|
else if (key == Key::Right or key == ctrl('f'))
|
2013-11-14 22:12:59 +01:00
|
|
|
{
|
|
|
|
if (m_cursor_pos < m_line.char_length())
|
|
|
|
++m_cursor_pos;
|
|
|
|
}
|
2018-09-03 14:15:28 +02:00
|
|
|
else if (key == Key::Home or key == ctrl('a'))
|
2013-11-14 22:12:59 +01:00
|
|
|
m_cursor_pos = 0;
|
2018-09-03 14:15:28 +02:00
|
|
|
else if (key == Key::End or key == ctrl('e'))
|
2013-11-14 22:12:59 +01:00
|
|
|
m_cursor_pos = m_line.char_length();
|
2018-09-03 14:15:28 +02:00
|
|
|
else if (key == Key::Backspace or key == ctrl('h'))
|
2013-11-14 22:12:59 +01:00
|
|
|
{
|
|
|
|
if (m_cursor_pos != 0)
|
|
|
|
{
|
2016-09-22 21:36:26 +02:00
|
|
|
m_line = m_line.substr(0_char, m_cursor_pos - 1)
|
2013-11-14 22:12:59 +01:00
|
|
|
+ m_line.substr(m_cursor_pos);
|
|
|
|
|
|
|
|
--m_cursor_pos;
|
|
|
|
}
|
|
|
|
}
|
2018-09-03 14:15:28 +02:00
|
|
|
else if (key == Key::Delete or key == ctrl('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);
|
|
|
|
}
|
2018-09-03 14:15:28 +02:00
|
|
|
else if (key == alt('f'))
|
2014-08-14 01:31:39 +02:00
|
|
|
to_next_word_begin<Word>(m_cursor_pos, m_line);
|
2019-07-06 17:37:30 +02:00
|
|
|
else if (key == alt('F'))
|
2014-08-14 01:31:39 +02:00
|
|
|
to_next_word_begin<WORD>(m_cursor_pos, m_line);
|
2018-09-03 14:15:28 +02:00
|
|
|
else if (key == alt('b'))
|
2014-08-14 01:31:39 +02:00
|
|
|
to_prev_word_begin<Word>(m_cursor_pos, m_line);
|
2018-09-03 14:15:28 +02:00
|
|
|
else if (key == alt('B'))
|
2014-08-14 01:31:39 +02:00
|
|
|
to_prev_word_begin<WORD>(m_cursor_pos, m_line);
|
2018-09-03 14:15:28 +02:00
|
|
|
else if (key == alt('e'))
|
2014-08-14 01:31:39 +02:00
|
|
|
to_next_word_end<Word>(m_cursor_pos, m_line);
|
2018-09-03 14:15:28 +02:00
|
|
|
else if (key == alt('E'))
|
2014-08-14 01:31:39 +02:00
|
|
|
to_next_word_end<WORD>(m_cursor_pos, m_line);
|
2016-12-14 01:28:46 +01:00
|
|
|
else if (key == ctrl('k'))
|
2018-09-03 23:55:56 +02:00
|
|
|
{
|
|
|
|
m_clipboard = m_line.substr(m_cursor_pos).str();
|
|
|
|
m_line = m_line.substr(0, m_cursor_pos).str();
|
|
|
|
}
|
2016-12-14 01:28:46 +01:00
|
|
|
else if (key == ctrl('u'))
|
|
|
|
{
|
2018-09-03 23:55:56 +02:00
|
|
|
m_clipboard = m_line.substr(0, m_cursor_pos).str();
|
2016-12-14 01:28:46 +01:00
|
|
|
m_line = m_line.substr(m_cursor_pos).str();
|
|
|
|
m_cursor_pos = 0;
|
|
|
|
}
|
2018-09-03 23:55:56 +02:00
|
|
|
else if (key == ctrl('w') or key == alt(Key::Backspace))
|
|
|
|
erase_move(&to_prev_word_begin<Word>);
|
|
|
|
else if (key == ctrl('W'))
|
2019-07-06 17:37:30 +02:00
|
|
|
erase_move(&to_prev_word_begin<WORD>);
|
2018-09-03 23:55:56 +02:00
|
|
|
else if (key == alt('d'))
|
|
|
|
erase_move(&to_next_word_begin<Word>);
|
|
|
|
else if (key == alt('D'))
|
|
|
|
erase_move(&to_next_word_begin<WORD>);
|
|
|
|
else if (key == ctrl('y'))
|
|
|
|
{
|
|
|
|
m_line = m_line.substr(0, m_cursor_pos) + m_clipboard + m_line.substr(m_cursor_pos);
|
|
|
|
m_cursor_pos += m_clipboard.char_length();
|
|
|
|
}
|
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)
|
|
|
|
{
|
2016-02-05 10:13:07 +01:00
|
|
|
m_line = m_line.substr(0, m_cursor_pos) + String{cp}
|
2015-11-13 14:52:54 +01:00
|
|
|
+ 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();
|
|
|
|
}
|
|
|
|
|
2017-10-31 02:54:21 +01:00
|
|
|
void reset(String line, StringView empty_text)
|
2013-11-14 22:12:59 +01:00
|
|
|
{
|
|
|
|
m_line = std::move(line);
|
2017-10-31 02:54:21 +01:00
|
|
|
m_empty_text = empty_text;
|
|
|
|
m_cursor_pos = m_line.char_length();
|
2016-03-15 14:55:01 +01:00
|
|
|
m_display_pos = 0;
|
2013-11-14 22:12:59 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
const String& line() const { return m_line; }
|
|
|
|
CharCount cursor_pos() const { return m_cursor_pos; }
|
|
|
|
|
2017-04-12 11:39:17 +02:00
|
|
|
ColumnCount cursor_display_column() const
|
|
|
|
{
|
|
|
|
return m_line.substr(m_display_pos, m_cursor_pos).column_length();
|
|
|
|
}
|
|
|
|
|
2017-10-31 02:54:21 +01:00
|
|
|
DisplayLine build_display_line(ColumnCount in_width)
|
2013-11-14 22:12:59 +01:00
|
|
|
{
|
2016-09-22 21:36:26 +02:00
|
|
|
CharCount width = (int)in_width; // Todo: proper handling of char/column
|
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;
|
|
|
|
|
2017-10-31 02:54:21 +01:00
|
|
|
const bool empty = m_line.empty();
|
|
|
|
StringView str = empty ? m_empty_text : m_line;
|
|
|
|
|
2018-04-07 07:36:39 +02:00
|
|
|
const Face line_face = m_faces[empty ? "StatusLineInfo" : "StatusLine"];
|
|
|
|
const Face cursor_face = m_faces["StatusCursor"];
|
2017-10-28 04:07:28 +02:00
|
|
|
|
2017-10-31 02:54:21 +01:00
|
|
|
if (m_cursor_pos == str.char_length())
|
|
|
|
return DisplayLine{{ { fix_atom_text(str.substr(m_display_pos, width-1)), line_face },
|
2017-10-28 04:07:28 +02:00
|
|
|
{ " "_str, cursor_face} } };
|
2013-11-14 22:12:59 +01:00
|
|
|
else
|
2017-10-31 02:54:21 +01:00
|
|
|
return DisplayLine({ { fix_atom_text(str.substr(m_display_pos, m_cursor_pos - m_display_pos)), line_face },
|
|
|
|
{ fix_atom_text(str.substr(m_cursor_pos,1)), cursor_face },
|
|
|
|
{ fix_atom_text(str.substr(m_cursor_pos+1, width - m_cursor_pos + m_display_pos - 1)), line_face } });
|
2013-11-14 22:12:59 +01:00
|
|
|
}
|
|
|
|
private:
|
2017-10-31 02:54:21 +01:00
|
|
|
CharCount m_cursor_pos = 0;
|
|
|
|
CharCount m_display_pos = 0;
|
2014-08-14 01:31:39 +02:00
|
|
|
|
2017-10-31 02:54:21 +01:00
|
|
|
String m_line;
|
2018-03-28 11:48:50 +02:00
|
|
|
StringView m_empty_text = {};
|
2018-09-03 23:55:56 +02:00
|
|
|
String m_clipboard;
|
2018-04-07 07:36:39 +02:00
|
|
|
|
|
|
|
const FaceRegistry& m_faces;
|
2013-11-14 22:12:59 +01:00
|
|
|
};
|
|
|
|
|
|
|
|
class Menu : public InputMode
|
|
|
|
{
|
|
|
|
public:
|
2016-02-27 18:23:13 +01:00
|
|
|
Menu(InputHandler& input_handler, Vector<DisplayLine> choices,
|
2013-11-14 22:12:59 +01:00
|
|
|
MenuCallback callback)
|
|
|
|
: InputMode(input_handler),
|
2017-01-08 23:30:15 +01:00
|
|
|
m_callback(std::move(callback)), m_choices(choices.begin(), choices.end()),
|
2018-04-07 07:36:39 +02:00
|
|
|
m_selected(m_choices.begin()),
|
|
|
|
m_filter_editor{context().faces()}
|
2013-11-14 22:12:59 +01:00
|
|
|
{
|
2016-02-27 18:23:13 +01:00
|
|
|
if (not context().has_client())
|
2013-11-14 22:12:59 +01:00
|
|
|
return;
|
2016-02-27 18:23:13 +01:00
|
|
|
context().client().menu_show(std::move(choices), {}, MenuStyle::Prompt);
|
|
|
|
context().client().menu_select(0);
|
2013-11-14 22:12:59 +01:00
|
|
|
}
|
|
|
|
|
2015-12-13 00:51:51 +01:00
|
|
|
void on_key(Key key) 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
|
|
|
};
|
|
|
|
|
2016-07-05 20:21:15 +02:00
|
|
|
if (key == Key::Return)
|
2013-11-14 22:12:59 +01:00
|
|
|
{
|
2016-02-27 18:23:13 +01:00
|
|
|
if (context().has_client())
|
|
|
|
context().client().menu_hide();
|
2013-11-14 22:12:59 +01:00
|
|
|
context().print_status(DisplayLine{});
|
2016-11-14 14:59:33 +01:00
|
|
|
|
|
|
|
// Maintain hooks disabled in callback if they were before pop_mode
|
|
|
|
ScopedSetBool disable_hooks(context().hooks_disabled(),
|
|
|
|
context().hooks_disabled());
|
2015-12-13 00:51:51 +01:00
|
|
|
pop_mode();
|
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{".*"};
|
2017-10-31 02:54:21 +01:00
|
|
|
m_filter_editor.reset("", "");
|
2013-11-14 22:12:59 +01:00
|
|
|
context().print_status(DisplayLine{});
|
|
|
|
}
|
|
|
|
else
|
|
|
|
{
|
2016-02-27 18:23:13 +01:00
|
|
|
if (context().has_client())
|
|
|
|
context().client().menu_hide();
|
2016-11-14 14:59:33 +01:00
|
|
|
|
|
|
|
// Maintain hooks disabled in callback if they were before pop_mode
|
|
|
|
ScopedSetBool disable_hooks(context().hooks_disabled(),
|
|
|
|
context().hooks_disabled());
|
2015-12-13 00:51:51 +01:00
|
|
|
pop_mode();
|
2013-11-14 22:12:59 +01:00
|
|
|
int selected = m_selected - m_choices.begin();
|
|
|
|
m_callback(selected, MenuEvent::Abort, context());
|
|
|
|
}
|
|
|
|
}
|
2016-07-05 20:21:15 +02:00
|
|
|
else if (key == Key::Down or key == Key::Tab 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);
|
|
|
|
}
|
2018-03-15 13:02:27 +01:00
|
|
|
else if (key == Key::Up or key == shift(Key::Tab) 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);
|
|
|
|
}
|
|
|
|
|
2016-02-27 18:23:13 +01:00
|
|
|
if (m_edit_filter and context().has_client())
|
2013-11-14 22:12:59 +01:00
|
|
|
{
|
2014-01-30 12:30:51 +01:00
|
|
|
auto prompt = "filter:"_str;
|
2016-09-22 21:36:26 +02:00
|
|
|
auto width = context().client().dimensions().column - prompt.column_length();
|
2017-10-31 02:54:21 +01:00
|
|
|
auto display_line = m_filter_editor.build_display_line(width);
|
2018-04-07 07:36:39 +02:00
|
|
|
display_line.insert(display_line.begin(), { prompt, context().faces()["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
|
|
|
{
|
2018-04-07 07:36:39 +02:00
|
|
|
return { "menu", context().faces()["StatusLineMode"] };
|
2013-11-14 22:12:59 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
KeymapMode keymap_mode() const override { return KeymapMode::Menu; }
|
|
|
|
|
2017-12-18 01:03:29 +01:00
|
|
|
StringView name() const override { return "menu"; }
|
|
|
|
|
2013-11-14 22:12:59 +01:00
|
|
|
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();
|
2016-02-27 18:23:13 +01:00
|
|
|
if (context().has_client())
|
|
|
|
context().client().menu_select(selected);
|
2013-11-14 22:12:59 +01:00
|
|
|
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-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,
|
2017-10-31 02:54:21 +01:00
|
|
|
String initstr, String emptystr, Face face, PromptFlags flags,
|
2019-06-05 15:19:27 +02:00
|
|
|
char history_register, PromptCompleter completer, PromptCallback callback)
|
2019-02-09 05:41:09 +01:00
|
|
|
: InputMode(input_handler), m_callback(std::move(callback)), m_completer(std::move(completer)),
|
|
|
|
m_prompt(prompt.str()), m_prompt_face(face),
|
2017-10-31 02:54:21 +01:00
|
|
|
m_empty_text{std::move(emptystr)},
|
2019-02-09 05:41:09 +01:00
|
|
|
m_line_editor{context().faces()}, m_flags(flags),
|
2019-06-05 15:19:27 +02:00
|
|
|
m_history{RegisterManager::instance()[history_register]},
|
|
|
|
m_current_history{m_history.get(context()).size()},
|
2018-07-19 10:10:10 +02:00
|
|
|
m_auto_complete{context().options()["autocomplete"].get<AutoComplete>() & AutoComplete::Prompt},
|
2018-05-13 09:59:01 +02:00
|
|
|
m_idle_timer{TimePoint::max(), context().flags() & Context::Flags::Draft ?
|
2017-06-08 10:53:23 +02:00
|
|
|
Timer::Callback{} : [this](Timer&) {
|
2020-12-01 10:00:38 +01:00
|
|
|
RefPtr<InputMode> keep_alive{this}; // hook or m_callback could trigger pop_mode()
|
2018-07-15 01:45:17 +02:00
|
|
|
if (m_auto_complete and m_refresh_completion_pending)
|
2017-04-03 19:11:09 +02:00
|
|
|
refresh_completions(CompletionFlags::Fast);
|
2017-06-07 21:16:19 +02:00
|
|
|
if (m_line_changed)
|
|
|
|
{
|
|
|
|
m_callback(m_line_editor.line(), PromptEvent::Change, context());
|
|
|
|
m_line_changed = false;
|
|
|
|
}
|
2018-10-22 23:15:53 +02:00
|
|
|
context().hooks().run_hook(Hook::PromptIdle, "", context());
|
2019-02-09 05:41:09 +01:00
|
|
|
}}
|
2013-11-14 22:12:59 +01:00
|
|
|
{
|
2017-10-31 02:54:21 +01:00
|
|
|
m_line_editor.reset(std::move(initstr), m_empty_text);
|
2013-11-14 22:12:59 +01:00
|
|
|
}
|
|
|
|
|
2015-12-13 00:51:51 +01:00
|
|
|
void on_key(Key key) override
|
2013-11-14 22:12:59 +01:00
|
|
|
{
|
|
|
|
const String& line = m_line_editor.line();
|
|
|
|
|
2020-11-16 21:03:14 +01:00
|
|
|
auto can_auto_insert_completion = [&] {
|
2020-10-20 12:05:49 +02:00
|
|
|
const bool has_completions = not m_completions.candidates.empty();
|
|
|
|
const bool completion_selected = m_current_completion != -1;
|
2020-11-16 21:03:14 +01:00
|
|
|
const bool text_entered = m_completions.start != line.byte_count_to(m_line_editor.cursor_pos());
|
2020-11-18 09:55:57 +01:00
|
|
|
return (m_completions.flags & Completions::Flags::Menu) and
|
|
|
|
has_completions and
|
|
|
|
not completion_selected and
|
|
|
|
(not (m_completions.flags & Completions::Flags::NoEmpty) or text_entered);
|
2020-10-20 12:05:49 +02:00
|
|
|
};
|
|
|
|
|
2016-07-05 20:21:15 +02:00
|
|
|
if (key == Key::Return)
|
2013-11-14 22:12:59 +01:00
|
|
|
{
|
2020-11-16 21:03:14 +01:00
|
|
|
if ((m_completions.flags & Completions::Flags::Menu) and can_auto_insert_completion())
|
2019-05-12 13:25:08 +02:00
|
|
|
{
|
|
|
|
const String& completion = m_completions.candidates.front();
|
|
|
|
m_line_editor.insert_from(line.char_count_to(m_completions.start),
|
|
|
|
completion);
|
|
|
|
}
|
|
|
|
|
2019-07-21 04:20:47 +02:00
|
|
|
history_push(line);
|
2013-11-14 22:12:59 +01:00
|
|
|
context().print_status(DisplayLine{});
|
2016-02-27 18:23:13 +01:00
|
|
|
if (context().has_client())
|
|
|
|
context().client().menu_hide();
|
2016-11-14 14:59:33 +01:00
|
|
|
|
|
|
|
// Maintain hooks disabled in callback if they were before pop_mode
|
|
|
|
ScopedSetBool disable_hooks(context().hooks_disabled(),
|
|
|
|
context().hooks_disabled());
|
2015-12-13 00:51:51 +01:00
|
|
|
pop_mode();
|
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'))
|
|
|
|
{
|
2019-07-21 04:20:47 +02:00
|
|
|
history_push(line);
|
2013-11-14 22:12:59 +01:00
|
|
|
context().print_status(DisplayLine{});
|
2016-02-27 18:23:13 +01:00
|
|
|
if (context().has_client())
|
|
|
|
context().client().menu_hide();
|
2016-11-14 14:59:33 +01:00
|
|
|
|
|
|
|
// Maintain hooks disabled in callback if they were before pop_mode
|
|
|
|
ScopedSetBool disable_hooks(context().hooks_disabled(),
|
|
|
|
context().hooks_disabled());
|
2015-12-13 00:51:51 +01:00
|
|
|
pop_mode();
|
2013-11-14 22:12:59 +01:00
|
|
|
m_callback(line, PromptEvent::Abort, context());
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
else if (key == ctrl('r'))
|
|
|
|
{
|
2019-11-11 11:38:40 +01:00
|
|
|
on_next_key_with_autoinfo(context(), "register", KeymapMode::None,
|
2015-08-11 21:36:07 +02:00
|
|
|
[this](Key key, Context&) {
|
2017-09-21 11:53:10 +02:00
|
|
|
auto cp = key.codepoint();
|
|
|
|
if (not cp or key == Key::Escape)
|
|
|
|
return;
|
|
|
|
StringView reg = context().main_sel_register_value(String{*cp});
|
|
|
|
m_line_editor.insert(reg);
|
|
|
|
|
|
|
|
display();
|
|
|
|
m_line_changed = true;
|
2018-02-28 05:05:38 +01:00
|
|
|
m_refresh_completion_pending = true;
|
2020-02-27 16:36:15 +01:00
|
|
|
}, "enter register name", register_doc.str());
|
2016-06-18 12:07:18 +02:00
|
|
|
display();
|
2015-08-11 21:36:07 +02:00
|
|
|
return;
|
2013-11-14 22:12:59 +01:00
|
|
|
}
|
2015-11-13 14:52:54 +01:00
|
|
|
else if (key == ctrl('v'))
|
|
|
|
{
|
2019-11-11 11:38:40 +01:00
|
|
|
on_next_key_with_autoinfo(context(), "raw-key", KeymapMode::None,
|
2015-11-13 14:52:54 +01:00
|
|
|
[this](Key key, Context&) {
|
|
|
|
if (auto cp = get_raw_codepoint(key))
|
|
|
|
{
|
|
|
|
m_line_editor.insert(*cp);
|
|
|
|
display();
|
2017-06-07 21:16:19 +02:00
|
|
|
m_line_changed = true;
|
2018-02-28 05:05:38 +01:00
|
|
|
m_refresh_completion_pending = true;
|
2015-11-13 14:52:54 +01:00
|
|
|
}
|
|
|
|
}, "raw insert", "enter key to insert");
|
2016-06-18 12:07:18 +02:00
|
|
|
display();
|
|
|
|
return;
|
2015-11-13 14:52:54 +01:00
|
|
|
}
|
2013-11-14 22:12:59 +01:00
|
|
|
else if (key == Key::Up or key == ctrl('p'))
|
|
|
|
{
|
2019-06-05 15:19:27 +02:00
|
|
|
if (m_current_history != 0)
|
2013-11-14 22:12:59 +01:00
|
|
|
{
|
2019-06-05 15:19:27 +02:00
|
|
|
auto history = m_history.get(context());
|
|
|
|
// The history register might have been mutated in the mean time
|
|
|
|
m_current_history = std::min(history.size(), m_current_history);
|
|
|
|
if (m_current_history == history.size())
|
2013-11-14 22:12:59 +01:00
|
|
|
m_prefix = line;
|
2019-06-05 15:19:27 +02:00
|
|
|
auto index = m_current_history;
|
2013-11-14 22:12:59 +01:00
|
|
|
// search for the previous history entry matching typed prefix
|
|
|
|
do
|
|
|
|
{
|
2019-06-05 15:19:27 +02:00
|
|
|
--index;
|
|
|
|
if (prefix_match(history[index], m_prefix))
|
2013-11-14 22:12:59 +01:00
|
|
|
{
|
2019-06-05 15:19:27 +02:00
|
|
|
m_current_history = index;
|
|
|
|
m_line_editor.reset(history[index], m_empty_text);
|
2013-11-14 22:12:59 +01:00
|
|
|
break;
|
|
|
|
}
|
2019-06-05 15:19:27 +02:00
|
|
|
} while (index != 0);
|
2013-11-28 19:44:42 +01:00
|
|
|
|
|
|
|
clear_completions();
|
2017-04-03 19:11:09 +02:00
|
|
|
m_refresh_completion_pending = true;
|
2013-11-14 22:12:59 +01:00
|
|
|
}
|
|
|
|
}
|
|
|
|
else if (key == Key::Down or key == ctrl('n')) // next
|
|
|
|
{
|
2019-06-05 15:19:27 +02:00
|
|
|
auto history = m_history.get(context());
|
|
|
|
// The history register might have been mutated in the mean time
|
|
|
|
m_current_history = std::min(history.size(), m_current_history);
|
|
|
|
if (m_current_history < history.size())
|
2013-11-14 22:12:59 +01:00
|
|
|
{
|
|
|
|
// search for the next history entry matching typed prefix
|
2019-06-05 15:19:27 +02:00
|
|
|
++m_current_history;
|
|
|
|
while (m_current_history != history.size() and
|
|
|
|
not prefix_match(history[m_current_history], m_prefix))
|
|
|
|
++m_current_history;
|
2013-11-14 22:12:59 +01:00
|
|
|
|
2019-06-05 15:19:27 +02:00
|
|
|
if (m_current_history != history.size())
|
|
|
|
m_line_editor.reset(history[m_current_history], m_empty_text);
|
2013-11-14 22:12:59 +01:00
|
|
|
else
|
2017-10-31 02:54:21 +01:00
|
|
|
m_line_editor.reset(m_prefix, m_empty_text);
|
2013-11-28 19:44:42 +01:00
|
|
|
|
|
|
|
clear_completions();
|
2017-04-03 19:11:09 +02:00
|
|
|
m_refresh_completion_pending = true;
|
2013-11-14 22:12:59 +01:00
|
|
|
}
|
|
|
|
}
|
2018-05-03 14:22:12 +02:00
|
|
|
else if (key == Key::Tab or key == shift(Key::Tab) or key.modifiers == Key::Modifiers::MenuSelect) // completion
|
2013-11-14 22:12:59 +01:00
|
|
|
{
|
|
|
|
CandidateList& candidates = m_completions.candidates;
|
|
|
|
// first try, we need to ask our completer for completions
|
|
|
|
if (candidates.empty())
|
2016-03-10 00:24:20 +01:00
|
|
|
{
|
2013-11-18 22:47:16 +01:00
|
|
|
refresh_completions(CompletionFlags::None);
|
2016-03-24 14:39:27 +01:00
|
|
|
if ((not m_prefix_in_completions and candidates.size() > 1) or
|
|
|
|
candidates.size() > 2)
|
2016-03-10 00:24:20 +01:00
|
|
|
return;
|
|
|
|
}
|
2013-11-14 22:12:59 +01:00
|
|
|
|
2016-03-07 21:17:41 +01:00
|
|
|
if (candidates.empty())
|
|
|
|
return;
|
|
|
|
|
2018-05-03 14:22:12 +02:00
|
|
|
const bool reverse = (key == shift(Key::Tab));
|
|
|
|
if (key.modifiers == Key::Modifiers::MenuSelect)
|
|
|
|
m_current_completion = clamp<int>(key.key, 0, candidates.size() - 1);
|
|
|
|
else if (not reverse and ++m_current_completion >= candidates.size())
|
2016-03-07 21:17:41 +01:00
|
|
|
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];
|
2016-02-27 18:23:13 +01:00
|
|
|
if (context().has_client())
|
|
|
|
context().client().menu_select(m_current_completion);
|
2013-11-14 22:12:59 +01:00
|
|
|
|
|
|
|
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.
|
2016-03-24 14:39:27 +01:00
|
|
|
if (candidates.size() == 1 or
|
|
|
|
(m_prefix_in_completions and candidates.size() == 2))
|
2013-11-14 22:12:59 +01:00
|
|
|
{
|
|
|
|
m_current_completion = -1;
|
|
|
|
candidates.clear();
|
2017-04-03 19:11:09 +02:00
|
|
|
m_refresh_completion_pending = true;
|
2013-11-14 22:12:59 +01:00
|
|
|
}
|
|
|
|
}
|
2020-10-19 10:36:58 +02:00
|
|
|
else if (key == ctrl('x'))
|
|
|
|
{
|
|
|
|
on_next_key_with_autoinfo(context(), "explicit-completion", KeymapMode::None,
|
|
|
|
[this](Key key, Context&) {
|
|
|
|
m_explicit_completer = PromptCompleter{};
|
|
|
|
|
|
|
|
if (key.key == 'f')
|
|
|
|
use_explicit_completer([](const Context& context, StringView token) {
|
|
|
|
return complete_filename(token, context.options()["ignored_files"].get<Regex>(),
|
|
|
|
token.length(), FilenameFlags::Expand);
|
|
|
|
});
|
|
|
|
else if (key.key == 'w')
|
|
|
|
use_explicit_completer([](const Context& context, StringView token) {
|
|
|
|
CandidateList candidates;
|
|
|
|
for_n_best(get_word_db(context.buffer()).find_matching(token),
|
|
|
|
100, [](auto& lhs, auto& rhs){ return rhs < lhs; },
|
|
|
|
[&](RankedMatch& m) {
|
|
|
|
candidates.push_back(m.candidate().str());
|
|
|
|
return true;
|
|
|
|
});
|
|
|
|
return candidates;
|
|
|
|
});
|
|
|
|
|
|
|
|
if (m_explicit_completer)
|
|
|
|
refresh_completions(CompletionFlags::None);
|
|
|
|
}, "enter completion type",
|
|
|
|
"f: filename\n"
|
|
|
|
"w: buffer word\n");
|
|
|
|
}
|
2014-08-20 00:32:19 +02:00
|
|
|
else if (key == ctrl('o'))
|
|
|
|
{
|
2020-10-19 10:36:58 +02:00
|
|
|
m_explicit_completer = PromptCompleter{};
|
2018-08-27 22:02:15 +02:00
|
|
|
m_auto_complete = not m_auto_complete;
|
2020-10-19 10:36:58 +02:00
|
|
|
|
2018-08-27 22:02:15 +02:00
|
|
|
if (m_auto_complete)
|
|
|
|
refresh_completions(CompletionFlags::Fast);
|
|
|
|
else if (context().has_client())
|
|
|
|
{
|
|
|
|
clear_completions();
|
2017-04-03 19:11:09 +02:00
|
|
|
context().client().menu_hide();
|
2018-08-27 22:02:15 +02:00
|
|
|
}
|
2014-08-20 00:32:19 +02:00
|
|
|
}
|
2018-04-04 03:00:25 +02:00
|
|
|
else if (key == alt('!'))
|
|
|
|
{
|
|
|
|
try
|
|
|
|
{
|
2020-10-20 12:05:49 +02:00
|
|
|
m_line_editor.reset(expand(line, context()), m_empty_text);
|
2018-04-04 03:00:25 +02:00
|
|
|
}
|
|
|
|
catch (std::runtime_error& error)
|
|
|
|
{
|
2018-04-07 07:36:39 +02:00
|
|
|
context().print_status({error.what(), context().faces()["Error"]});
|
2018-04-04 03:00:25 +02:00
|
|
|
return;
|
|
|
|
}
|
|
|
|
}
|
2018-07-15 02:39:25 +02:00
|
|
|
else if (key == alt(';'))
|
|
|
|
{
|
|
|
|
push_mode(new Normal(context().input_handler(), true));
|
|
|
|
return;
|
|
|
|
}
|
2013-11-14 22:12:59 +01:00
|
|
|
else
|
|
|
|
{
|
2020-10-19 12:01:18 +02:00
|
|
|
if (key == ' ' and
|
2020-10-20 12:05:49 +02:00
|
|
|
not (m_completions.flags & Completions::Flags::Quoted) and // if token is quoted, this space does not end it
|
2020-11-16 21:03:14 +01:00
|
|
|
can_auto_insert_completion())
|
2020-10-19 12:01:18 +02:00
|
|
|
m_line_editor.insert_from(line.char_count_to(m_completions.start),
|
|
|
|
m_completions.candidates.front());
|
|
|
|
|
2013-11-14 22:12:59 +01:00
|
|
|
m_line_editor.handle_key(key);
|
2013-11-28 19:44:42 +01:00
|
|
|
clear_completions();
|
2017-04-03 19:11:09 +02:00
|
|
|
m_refresh_completion_pending = true;
|
2013-11-14 22:12:59 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
display();
|
2017-06-07 21:16:19 +02:00
|
|
|
m_line_changed = true;
|
2018-05-13 09:59:01 +02:00
|
|
|
if (enabled() and not (context().flags() & Context::Flags::Draft)) // The callback might have disabled us
|
2017-05-22 17:56:06 +02:00
|
|
|
m_idle_timer.set_next_date(Clock::now() + get_idle_timeout(context()));
|
2013-11-14 22:12:59 +01:00
|
|
|
}
|
|
|
|
|
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
|
|
|
{
|
2018-04-07 07:36:39 +02:00
|
|
|
return { "prompt", context().faces()["StatusLineMode"] };
|
2013-11-14 22:12:59 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
KeymapMode keymap_mode() const override { return KeymapMode::Prompt; }
|
|
|
|
|
2017-12-18 01:03:29 +01:00
|
|
|
StringView name() const override { return "prompt"; }
|
|
|
|
|
2017-04-12 11:39:17 +02:00
|
|
|
std::pair<CursorMode, DisplayCoord> get_cursor_info() const override
|
|
|
|
{
|
|
|
|
DisplayCoord coord{0_line, m_prompt.column_length() + m_line_editor.cursor_display_column()};
|
|
|
|
return { CursorMode::Prompt, coord };
|
|
|
|
}
|
|
|
|
|
2013-11-14 22:12:59 +01:00
|
|
|
private:
|
2020-10-19 10:36:58 +02:00
|
|
|
template<typename Completer>
|
|
|
|
void use_explicit_completer(Completer&& completer)
|
|
|
|
{
|
|
|
|
m_explicit_completer = [completer](const Context& context, CompletionFlags flags, StringView content, ByteCount cursor_pos) {
|
|
|
|
Optional<Token> last_token;
|
|
|
|
CommandParser parser{content.substr(0_byte, cursor_pos)};
|
|
|
|
while (auto token = parser.read_token(false))
|
|
|
|
last_token = std::move(token);
|
|
|
|
|
|
|
|
if (last_token and (last_token->pos + last_token->content.length() < cursor_pos))
|
|
|
|
last_token.reset();
|
|
|
|
|
|
|
|
auto token_start = last_token.map([&](auto&& t) { return t.pos; }).value_or(cursor_pos);
|
|
|
|
auto token_content = last_token.map([](auto&& t) -> StringView { return t.content; }).value_or(StringView{});
|
|
|
|
|
|
|
|
return Completions{token_start, cursor_pos, completer(context, token_content)};
|
|
|
|
};
|
|
|
|
}
|
|
|
|
|
2013-11-18 22:47:16 +01:00
|
|
|
void refresh_completions(CompletionFlags flags)
|
2013-11-14 22:12:59 +01:00
|
|
|
{
|
|
|
|
try
|
|
|
|
{
|
2017-04-03 19:11:09 +02:00
|
|
|
m_refresh_completion_pending = false;
|
2020-10-19 10:36:58 +02:00
|
|
|
auto& completer = m_explicit_completer ? m_explicit_completer : m_completer;
|
|
|
|
if (not completer)
|
2014-04-13 15:15:05 +02:00
|
|
|
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();
|
2020-10-19 10:36:58 +02:00
|
|
|
m_completions = completer(context(), flags, line,
|
|
|
|
line.byte_count_to(m_line_editor.cursor_pos()));
|
2019-05-12 13:25:08 +02:00
|
|
|
const bool menu = (bool)(m_completions.flags & Completions::Flags::Menu);
|
2017-04-03 19:11:09 +02:00
|
|
|
if (context().has_client())
|
2015-10-05 02:25:23 +02:00
|
|
|
{
|
2017-04-03 19:11:09 +02:00
|
|
|
if (m_completions.candidates.empty())
|
|
|
|
return context().client().menu_hide();
|
|
|
|
|
2015-10-05 02:25:23 +02:00
|
|
|
Vector<DisplayLine> items;
|
|
|
|
for (auto& candidate : m_completions.candidates)
|
|
|
|
items.push_back({ candidate, {} });
|
2018-06-03 04:06:29 +02:00
|
|
|
|
|
|
|
const auto menu_style = (m_flags & PromptFlags::Search) ? MenuStyle::Search : MenuStyle::Prompt;
|
|
|
|
context().client().menu_show(items, {}, menu_style);
|
2016-03-24 14:39:27 +01:00
|
|
|
|
2019-05-12 13:25:08 +02:00
|
|
|
if (menu)
|
|
|
|
context().client().menu_select(0);
|
|
|
|
|
2016-03-24 14:39:27 +01:00
|
|
|
auto prefix = line.substr(m_completions.start, m_completions.end - m_completions.start);
|
2019-05-12 13:25:08 +02:00
|
|
|
if (not menu and not contains(m_completions.candidates, prefix))
|
2016-03-24 14:39:27 +01:00
|
|
|
{
|
2018-06-18 23:40:52 +02:00
|
|
|
m_current_completion = m_completions.candidates.size();
|
2016-03-24 14:39:27 +01:00
|
|
|
m_completions.candidates.push_back(prefix.str());
|
|
|
|
m_prefix_in_completions = true;
|
|
|
|
}
|
|
|
|
else
|
|
|
|
m_prefix_in_completions = false;
|
2015-10-05 02:25:23 +02:00
|
|
|
}
|
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
|
|
|
}
|
|
|
|
|
2014-01-30 12:30:51 +01:00
|
|
|
void display()
|
2013-11-14 22:12:59 +01:00
|
|
|
{
|
2016-02-27 18:23:13 +01:00
|
|
|
if (not context().has_client())
|
2014-01-30 12:30:51 +01:00
|
|
|
return;
|
|
|
|
|
2016-09-22 21:36:26 +02:00
|
|
|
auto width = context().client().dimensions().column - m_prompt.column_length();
|
2016-04-19 10:51:09 +02:00
|
|
|
DisplayLine display_line;
|
2016-08-22 21:31:08 +02:00
|
|
|
if (not (m_flags & PromptFlags::Password))
|
2017-10-31 02:54:21 +01:00
|
|
|
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);
|
|
|
|
}
|
|
|
|
|
2017-02-02 00:04:37 +01:00
|
|
|
void on_enabled() override
|
|
|
|
{
|
|
|
|
display();
|
2018-03-26 22:40:44 +02:00
|
|
|
m_line_changed = true;
|
2017-06-23 11:01:24 +02:00
|
|
|
|
2018-05-13 09:59:01 +02:00
|
|
|
if (not (context().flags() & Context::Flags::Draft))
|
2017-06-23 11:01:24 +02:00
|
|
|
m_idle_timer.set_next_date(Clock::now() + get_idle_timeout(context()));
|
2017-02-02 00:04:37 +01:00
|
|
|
}
|
|
|
|
|
2018-07-15 02:39:25 +02:00
|
|
|
void on_disabled(bool temporary) override
|
2017-04-03 19:11:09 +02:00
|
|
|
{
|
2018-07-15 02:39:25 +02:00
|
|
|
if (not temporary)
|
|
|
|
context().print_status({});
|
|
|
|
|
2020-12-20 01:32:15 +01:00
|
|
|
m_idle_timer.disable();
|
2017-04-03 19:11:09 +02:00
|
|
|
if (context().has_client())
|
|
|
|
context().client().menu_hide();
|
|
|
|
}
|
2016-03-15 14:45:57 +01:00
|
|
|
|
2019-01-24 11:02:07 +01:00
|
|
|
PromptCallback m_callback;
|
|
|
|
PromptCompleter m_completer;
|
2020-10-19 10:36:58 +02:00
|
|
|
PromptCompleter m_explicit_completer;
|
2013-11-14 22:12:59 +01:00
|
|
|
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;
|
2016-03-24 14:39:27 +01:00
|
|
|
bool m_prefix_in_completions = false;
|
2013-11-14 22:12:59 +01:00
|
|
|
String m_prefix;
|
2017-10-31 02:54:21 +01:00
|
|
|
String m_empty_text;
|
2013-11-14 22:12:59 +01:00
|
|
|
LineEditor m_line_editor;
|
2017-06-07 21:16:19 +02:00
|
|
|
bool m_line_changed = false;
|
2016-08-22 21:31:08 +02:00
|
|
|
PromptFlags m_flags;
|
2019-06-05 15:19:27 +02:00
|
|
|
Register& m_history;
|
|
|
|
size_t m_current_history;
|
2018-07-15 01:45:17 +02:00
|
|
|
bool m_auto_complete;
|
2017-04-03 19:11:09 +02:00
|
|
|
bool m_refresh_completion_pending = true;
|
|
|
|
Timer m_idle_timer;
|
2013-11-14 22:12:59 +01:00
|
|
|
|
2019-06-05 15:19:27 +02:00
|
|
|
void history_push(StringView entry)
|
2015-01-28 23:33:29 +01:00
|
|
|
{
|
2019-07-21 04:20:47 +02:00
|
|
|
if (entry.empty() or context().history_disabled() or
|
2018-03-26 10:50:51 +02:00
|
|
|
(m_flags & PromptFlags::DropHistoryEntriesWithBlankPrefix and
|
|
|
|
is_horizontal_blank(entry[0_byte])))
|
2015-01-28 23:33:29 +01:00
|
|
|
return;
|
2016-08-22 21:19:27 +02:00
|
|
|
|
2019-06-05 15:19:27 +02:00
|
|
|
m_history.set(context(), {entry.str()});
|
2015-01-28 23:33:29 +01:00
|
|
|
}
|
2013-11-14 22:12:59 +01:00
|
|
|
};
|
|
|
|
|
|
|
|
class NextKey : public InputMode
|
|
|
|
{
|
|
|
|
public:
|
2020-02-27 16:36:15 +01:00
|
|
|
NextKey(InputHandler& input_handler, String name, KeymapMode keymap_mode, KeyCallback callback,
|
|
|
|
Timer::Callback idle_callback)
|
|
|
|
: InputMode(input_handler), m_name{std::move(name)}, m_callback(std::move(callback)), m_keymap_mode(keymap_mode),
|
|
|
|
m_idle_timer{Clock::now() + get_idle_timeout(context()), std::move(idle_callback)} {}
|
2013-11-14 22:12:59 +01:00
|
|
|
|
2015-12-13 00:51:51 +01:00
|
|
|
void on_key(Key key) override
|
2013-11-14 22:12:59 +01:00
|
|
|
{
|
2016-11-14 14:59:33 +01:00
|
|
|
// maintain hooks disabled in the callback if they were before pop_mode
|
|
|
|
ScopedSetBool disable_hooks(context().hooks_disabled(),
|
|
|
|
context().hooks_disabled());
|
2015-12-13 00:51:51 +01:00
|
|
|
pop_mode();
|
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
|
|
|
{
|
2018-04-07 07:36:39 +02:00
|
|
|
return { "enter key", context().faces()["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
|
|
|
|
2019-11-11 11:38:40 +01:00
|
|
|
StringView name() const override { return m_name; }
|
2017-12-18 01:03:29 +01:00
|
|
|
|
2013-11-14 22:12:59 +01:00
|
|
|
private:
|
2020-02-27 16:36:15 +01:00
|
|
|
String m_name;
|
|
|
|
KeyCallback m_callback;
|
|
|
|
KeymapMode m_keymap_mode;
|
|
|
|
Timer m_idle_timer;
|
2013-11-14 22:12:59 +01:00
|
|
|
};
|
|
|
|
|
|
|
|
class Insert : public InputMode
|
|
|
|
{
|
|
|
|
public:
|
2016-10-24 20:41:05 +02:00
|
|
|
Insert(InputHandler& input_handler, InsertMode mode, int count)
|
2013-11-14 22:12:59 +01:00
|
|
|
: InputMode(input_handler),
|
2013-12-15 19:07:51 +01:00
|
|
|
m_edition(context()),
|
2013-11-14 22:12:59 +01:00
|
|
|
m_completer(context()),
|
2019-02-09 05:41:09 +01:00
|
|
|
m_restore_cursor(mode == InsertMode::Append),
|
2018-07-19 10:10:10 +02:00
|
|
|
m_auto_complete{context().options()["autocomplete"].get<AutoComplete>() & AutoComplete::Insert},
|
2018-05-13 09:59:01 +02:00
|
|
|
m_idle_timer{TimePoint::max(), context().flags() & Context::Flags::Draft ?
|
2017-06-08 10:53:23 +02:00
|
|
|
Timer::Callback{} : [this](Timer&) {
|
2020-12-01 10:00:38 +01:00
|
|
|
RefPtr<InputMode> keep_alive{this}; // hook could trigger pop_mode()
|
2018-07-15 03:46:02 +02:00
|
|
|
m_completer.update(m_auto_complete);
|
2018-10-22 23:15:53 +02:00
|
|
|
context().hooks().run_hook(Hook::InsertIdle, "", context());
|
2019-02-09 05:41:09 +01:00
|
|
|
}},
|
|
|
|
m_disable_hooks{context().hooks_disabled(), context().hooks_disabled()}
|
2013-11-14 22:12:59 +01:00
|
|
|
{
|
2018-02-11 03:06:19 +01:00
|
|
|
context().buffer().throw_if_read_only();
|
|
|
|
|
2017-11-08 07:39:52 +01:00
|
|
|
last_insert().recording.set();
|
2015-08-08 23:46:11 +02:00
|
|
|
last_insert().mode = mode;
|
|
|
|
last_insert().keys.clear();
|
2016-10-03 21:02:37 +02:00
|
|
|
last_insert().disable_hooks = context().hooks_disabled();
|
2017-06-25 08:25:31 +02:00
|
|
|
last_insert().count = count;
|
2017-01-25 14:36:06 +01:00
|
|
|
prepare(mode, count);
|
2013-11-14 22:12:59 +01:00
|
|
|
}
|
|
|
|
|
2015-06-03 21:03:06 +02:00
|
|
|
void on_enabled() override
|
|
|
|
{
|
2018-05-13 09:59:01 +02:00
|
|
|
if (not (context().flags() & Context::Flags::Draft))
|
2017-06-23 11:01:24 +02:00
|
|
|
m_idle_timer.set_next_date(Clock::now() + get_idle_timeout(context()));
|
2015-06-03 21:03:06 +02:00
|
|
|
}
|
|
|
|
|
2017-09-28 05:11:29 +02:00
|
|
|
void on_disabled(bool temporary) override
|
2015-06-03 21:03:06 +02:00
|
|
|
{
|
2020-12-20 01:32:15 +01:00
|
|
|
m_idle_timer.disable();
|
2017-09-28 05:11:29 +02:00
|
|
|
|
|
|
|
if (not temporary)
|
|
|
|
{
|
2017-11-08 07:39:52 +01:00
|
|
|
last_insert().recording.unset();
|
|
|
|
|
2017-09-28 05:11:29 +02:00
|
|
|
auto& selections = context().selections();
|
|
|
|
if (m_restore_cursor)
|
|
|
|
{
|
|
|
|
for (auto& sel : selections)
|
|
|
|
{
|
2018-07-04 11:42:32 +02:00
|
|
|
if (sel.cursor() > sel.anchor() and sel.cursor() > BufferCoord{0, 0})
|
2017-09-28 05:11:29 +02:00
|
|
|
sel.cursor() = context().buffer().char_prev(sel.cursor());
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
2015-06-03 21:03:06 +02:00
|
|
|
}
|
|
|
|
|
2015-12-13 00:51:51 +01:00
|
|
|
void on_key(Key key) override
|
2013-11-14 22:12:59 +01:00
|
|
|
{
|
2014-01-04 19:18:59 +01:00
|
|
|
auto& buffer = context().buffer();
|
2013-11-14 22:12:59 +01:00
|
|
|
|
2018-05-13 09:59:01 +02:00
|
|
|
const bool transient = context().flags() & Context::Flags::Draft;
|
2013-11-14 22:12:59 +01:00
|
|
|
bool update_completions = true;
|
|
|
|
bool moved = false;
|
2016-11-28 14:15:12 +01:00
|
|
|
if (m_mouse_handler.handle_key(key, context()))
|
2017-06-23 11:01:24 +02:00
|
|
|
{
|
|
|
|
if (not transient)
|
|
|
|
m_idle_timer.set_next_date(Clock::now() + get_idle_timeout(context()));
|
|
|
|
}
|
2016-11-28 14:15:12 +01:00
|
|
|
else if (key == Key::Escape or key == ctrl('c'))
|
2013-11-14 22:12:59 +01:00
|
|
|
{
|
|
|
|
m_completer.reset();
|
2015-12-13 00:51:51 +01:00
|
|
|
pop_mode();
|
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
|
|
|
{
|
2016-09-22 21:36:26 +02:00
|
|
|
if (sel.cursor() == BufferCoord{0,0})
|
2014-01-04 19:18:59 +01:00
|
|
|
continue;
|
2014-05-29 06:48:40 +02:00
|
|
|
auto pos = sel.cursor();
|
2017-01-08 23:30:15 +01:00
|
|
|
sels.emplace_back(buffer.char_prev(pos));
|
2014-01-04 19:18:59 +01:00
|
|
|
}
|
2017-03-30 11:38:56 +02:00
|
|
|
auto& main = context().selections().main();
|
2017-06-15 18:33:42 +02:00
|
|
|
String main_char;
|
|
|
|
if (main.cursor() != BufferCoord{0, 0})
|
|
|
|
main_char = buffer.string(buffer.char_prev(main.cursor()),
|
|
|
|
main.cursor());
|
2014-05-29 06:48:40 +02:00
|
|
|
if (not sels.empty())
|
|
|
|
SelectionList{buffer, std::move(sels)}.erase();
|
2017-03-30 11:38:56 +02:00
|
|
|
|
|
|
|
if (not main_char.empty())
|
2018-10-22 23:15:53 +02:00
|
|
|
context().hooks().run_hook(Hook::InsertDelete, main_char, context());
|
2019-05-29 15:12:04 +02:00
|
|
|
|
|
|
|
context().selections_write_only().update(false);
|
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())
|
2017-01-08 23:30:15 +01:00
|
|
|
sels.emplace_back(sel.cursor());
|
2014-05-29 06:48:40 +02:00
|
|
|
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)
|
2016-09-22 21:36:26 +02:00
|
|
|
sel.anchor() = sel.cursor() = BufferCoord{sel.cursor().line, 0};
|
2015-03-27 14:33:14 +01:00
|
|
|
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
|
|
|
{
|
2019-11-11 11:38:40 +01:00
|
|
|
on_next_key_with_autoinfo(context(), "register", KeymapMode::None,
|
2015-08-11 21:36:07 +02:00
|
|
|
[this](Key key, Context&) {
|
2017-09-21 11:53:10 +02:00
|
|
|
auto cp = key.codepoint();
|
|
|
|
if (not cp or key == Key::Escape)
|
|
|
|
return;
|
|
|
|
insert(RegisterManager::instance()[*cp].get(context()));
|
2020-02-27 16:36:15 +01:00
|
|
|
}, "enter register name", register_doc.str());
|
2015-08-11 21:36:07 +02:00
|
|
|
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();
|
2018-05-03 14:22:12 +02:00
|
|
|
m_completer.select(1, true, 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();
|
2018-05-03 14:22:12 +02:00
|
|
|
m_completer.select(-1, true, last_insert().keys);
|
|
|
|
update_completions = false;
|
|
|
|
}
|
|
|
|
else if (key.modifiers == Key::Modifiers::MenuSelect)
|
|
|
|
{
|
|
|
|
last_insert().keys.pop_back();
|
|
|
|
m_completer.select(key.key, false, 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
|
|
|
{
|
2019-11-11 11:38:40 +01:00
|
|
|
on_next_key_with_autoinfo(context(), "explicit-completion", KeymapMode::None,
|
2015-08-11 21:36:07 +02:00
|
|
|
[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')
|
2017-10-24 22:41:13 +02:00
|
|
|
m_completer.explicit_word_buffer_complete();
|
|
|
|
if (key.key == 'W')
|
|
|
|
m_completer.explicit_word_all_complete();
|
2015-09-19 12:55:55 +02:00
|
|
|
if (key.key == 'l')
|
2017-10-26 13:04:28 +02:00
|
|
|
m_completer.explicit_line_buffer_complete();
|
|
|
|
if (key.key == 'L')
|
|
|
|
m_completer.explicit_line_all_complete();
|
2017-07-06 18:47:02 +02:00
|
|
|
}, "enter completion type",
|
|
|
|
"f: filename\n"
|
2017-10-24 22:41:13 +02:00
|
|
|
"w: word (current buffer)\n"
|
|
|
|
"W: word (all buffers)\n"
|
2017-10-26 13:04:28 +02:00
|
|
|
"l: line (current buffer)\n"
|
|
|
|
"L: line (all buffers)\n");
|
2015-08-11 21:36:07 +02:00
|
|
|
update_completions = false;
|
|
|
|
}
|
2015-03-14 12:11:01 +01:00
|
|
|
else if (key == ctrl('o'))
|
2014-08-20 00:32:19 +02:00
|
|
|
{
|
2018-08-27 22:02:15 +02:00
|
|
|
m_auto_complete = not m_auto_complete;
|
2014-08-20 00:32:19 +02:00
|
|
|
m_completer.reset();
|
|
|
|
}
|
2015-03-14 12:11:01 +01:00
|
|
|
else if (key == ctrl('u'))
|
2018-03-29 22:46:24 +02:00
|
|
|
{
|
2013-11-14 22:12:59 +01:00
|
|
|
context().buffer().commit_undo_group();
|
2018-03-29 22:46:24 +02:00
|
|
|
context().print_status({ format("committed change #{}",
|
2018-05-02 13:31:44 +02:00
|
|
|
(size_t)context().buffer().current_history_id()),
|
2018-04-07 07:36:39 +02:00
|
|
|
context().faces()["Information"] });
|
2018-03-29 22:46:24 +02:00
|
|
|
}
|
2015-11-13 14:52:54 +01:00
|
|
|
else if (key == ctrl('v'))
|
|
|
|
{
|
2019-11-11 11:38:40 +01:00
|
|
|
on_next_key_with_autoinfo(context(), "raw-insert", KeymapMode::None,
|
2017-06-23 11:01:24 +02:00
|
|
|
[this, transient](Key key, Context&) {
|
2015-11-13 14:52:54 +01:00
|
|
|
if (auto cp = get_raw_codepoint(key))
|
|
|
|
{
|
|
|
|
insert(*cp);
|
2018-10-22 23:15:53 +02:00
|
|
|
context().hooks().run_hook(Hook::InsertKey, key_to_str(key), context());
|
2017-06-23 11:01:24 +02:00
|
|
|
if (enabled() and not transient)
|
2017-05-22 17:56:06 +02:00
|
|
|
m_idle_timer.set_next_date(Clock::now() + get_idle_timeout(context()));
|
2015-11-13 14:52:54 +01:00
|
|
|
}
|
|
|
|
}, "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
|
|
|
|
2018-10-22 23:15:53 +02:00
|
|
|
context().hooks().run_hook(Hook::InsertKey, key_to_str(key), context());
|
2013-11-14 22:12:59 +01:00
|
|
|
if (moved)
|
2018-10-22 23:15:53 +02:00
|
|
|
context().hooks().run_hook(Hook::InsertMove, key_to_str(key), context());
|
2017-05-22 17:56:06 +02:00
|
|
|
|
2017-06-23 11:01:24 +02:00
|
|
|
if (update_completions and enabled() and not transient) // Hooks might have disabled us
|
2017-05-22 17:56:06 +02:00
|
|
|
m_idle_timer.set_next_date(Clock::now() + get_idle_timeout(context()));
|
2013-11-14 22:12:59 +01:00
|
|
|
}
|
|
|
|
|
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();
|
2017-09-27 18:47:37 +02:00
|
|
|
auto main_index = context().selections().main_index();
|
2018-04-07 07:36:39 +02:00
|
|
|
return {AtomList{ { "insert", context().faces()["StatusLineMode"] },
|
|
|
|
{ " ", context().faces()["StatusLine"] },
|
|
|
|
{ format( "{} sels ({})", num_sel, main_index + 1),
|
|
|
|
context().faces()["StatusLineInfo"] } }};
|
2013-11-14 22:12:59 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
KeymapMode keymap_mode() const override { return KeymapMode::Insert; }
|
|
|
|
|
2017-12-18 01:03:29 +01:00
|
|
|
StringView name() const override { return "insert"; }
|
|
|
|
|
2013-11-14 22:12:59 +01:00
|
|
|
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();
|
2017-04-27 21:23:23 +02:00
|
|
|
const ColumnCount tabstop = context().options()["tabstop"].get<int>();
|
2013-12-15 15:14:52 +01:00
|
|
|
for (auto& sel : selections)
|
|
|
|
{
|
2017-05-22 18:04:01 +02:00
|
|
|
auto cursor = context().buffer().offset_coord(sel.cursor(), offset, tabstop, false);
|
2014-01-28 20:05:49 +01:00
|
|
|
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)
|
|
|
|
{
|
2016-02-05 10:13:07 +01:00
|
|
|
String str{key};
|
2014-05-25 23:59:29 +02:00
|
|
|
context().selections().insert(str, InsertMode::InsertCursor);
|
2018-10-22 23:15:53 +02:00
|
|
|
context().hooks().run_hook(Hook::InsertChar, str, context());
|
2013-11-14 22:12:59 +01:00
|
|
|
}
|
|
|
|
|
2016-10-24 20:41:05 +02:00
|
|
|
void prepare(InsertMode mode, int count)
|
2013-11-14 22:12:59 +01:00
|
|
|
{
|
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)
|
2017-01-13 01:17:31 +01:00
|
|
|
sel.set(sel.max(), sel.min());
|
2014-05-29 06:48:40 +02:00
|
|
|
break;
|
|
|
|
case InsertMode::Replace:
|
|
|
|
selections.erase();
|
|
|
|
break;
|
|
|
|
case InsertMode::Append:
|
|
|
|
for (auto& sel : selections)
|
2013-11-14 22:12:59 +01:00
|
|
|
{
|
2018-07-04 11:42:32 +02:00
|
|
|
sel.set(sel.min(), buffer.char_next(sel.max()));
|
|
|
|
if (sel.cursor() == buffer.end_coord())
|
|
|
|
buffer.insert(buffer.end_coord(), "\n");
|
2014-05-29 06:48:40 +02:00
|
|
|
}
|
|
|
|
break;
|
|
|
|
case InsertMode::AppendAtLineEnd:
|
|
|
|
for (auto& sel : selections)
|
2017-01-13 01:17:31 +01:00
|
|
|
sel.set({sel.max().line, buffer[sel.max().line].length() - 1});
|
2014-05-29 06:48:40 +02:00
|
|
|
break;
|
2014-06-10 00:23:49 +02:00
|
|
|
case InsertMode::OpenLineBelow:
|
2018-03-04 00:28:35 +01:00
|
|
|
{
|
|
|
|
Vector<Selection> new_sels;
|
|
|
|
count = count > 0 ? count : 1;
|
|
|
|
LineCount inserted_count = 0;
|
|
|
|
for (auto sel : selections)
|
|
|
|
{
|
|
|
|
buffer.insert(sel.max().line + inserted_count + 1,
|
|
|
|
String{'\n', CharCount{count}});
|
|
|
|
for (int i = 0; i < count; ++i)
|
|
|
|
new_sels.push_back({sel.max().line + inserted_count + i + 1});
|
|
|
|
inserted_count += count;
|
|
|
|
}
|
|
|
|
selections.set(std::move(new_sels),
|
|
|
|
selections.main_index() * count + count - 1);
|
2018-10-22 23:15:53 +02:00
|
|
|
context().hooks().run_hook(Hook::InsertChar, "\n", context());
|
2014-06-10 00:23:49 +02:00
|
|
|
break;
|
2018-03-04 00:28:35 +01:00
|
|
|
}
|
2014-05-29 06:48:40 +02:00
|
|
|
case InsertMode::OpenLineAbove:
|
2018-03-04 00:28:35 +01:00
|
|
|
{
|
|
|
|
Vector<Selection> new_sels;
|
|
|
|
count = count > 0 ? count : 1;
|
|
|
|
LineCount inserted_count = 0;
|
|
|
|
for (auto sel : selections)
|
|
|
|
{
|
|
|
|
buffer.insert(sel.min().line + inserted_count,
|
|
|
|
String{'\n', CharCount{count}});
|
|
|
|
for (int i = 0; i < count; ++i)
|
2018-03-26 22:28:25 +02:00
|
|
|
new_sels.push_back({sel.min().line + inserted_count + i});
|
2018-03-04 00:28:35 +01:00
|
|
|
inserted_count += count;
|
|
|
|
}
|
|
|
|
selections.set(std::move(new_sels),
|
|
|
|
selections.main_index() * count + count - 1);
|
2018-10-22 23:15:53 +02:00
|
|
|
context().hooks().run_hook(Hook::InsertChar, "\n", context());
|
2014-06-10 00:23:49 +02:00
|
|
|
break;
|
2018-03-04 00:28:35 +01:00
|
|
|
}
|
2014-05-29 06:48:40 +02:00
|
|
|
case InsertMode::InsertAtLineBegin:
|
|
|
|
for (auto& sel : selections)
|
|
|
|
{
|
2016-09-22 21:36:26 +02:00
|
|
|
BufferCoord 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();
|
2017-01-13 01:17:31 +01:00
|
|
|
sel.set(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
|
|
|
}
|
2013-12-15 19:07:51 +01:00
|
|
|
selections.check_invariant();
|
|
|
|
buffer.check_invariant();
|
2013-11-14 22:12:59 +01:00
|
|
|
}
|
|
|
|
|
2017-01-25 14:36:06 +01:00
|
|
|
ScopedEdition m_edition;
|
|
|
|
InsertCompleter m_completer;
|
2018-07-04 11:42:32 +02:00
|
|
|
const bool m_restore_cursor;
|
2018-07-15 01:45:17 +02:00
|
|
|
bool m_auto_complete;
|
2017-01-25 14:36:06 +01:00
|
|
|
Timer m_idle_timer;
|
|
|
|
MouseHandler m_mouse_handler;
|
2017-12-21 00:30:45 +01:00
|
|
|
ScopedSetBool m_disable_hooks;
|
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
|
|
|
}
|
|
|
|
|
2017-01-08 23:30:15 +01:00
|
|
|
InputHandler::~InputHandler() = default;
|
2013-11-14 22:12:59 +01:00
|
|
|
|
2015-06-02 21:56:57 +02:00
|
|
|
void InputHandler::push_mode(InputMode* new_mode)
|
2013-11-14 22:12:59 +01:00
|
|
|
{
|
2017-12-18 01:03:29 +01:00
|
|
|
StringView prev_name = current_mode().name();
|
|
|
|
|
2017-09-28 05:11:29 +02:00
|
|
|
current_mode().on_disabled(true);
|
2015-06-02 21:56:57 +02:00
|
|
|
m_mode_stack.emplace_back(new_mode);
|
2014-01-30 13:01:19 +01:00
|
|
|
new_mode->on_enabled();
|
2017-12-18 01:03:29 +01:00
|
|
|
|
2019-10-16 11:19:43 +02:00
|
|
|
context().hooks().run_hook(Hook::ModeChange, format("push:{}:{}", prev_name, new_mode->name()), context());
|
2013-11-14 22:12:59 +01:00
|
|
|
}
|
|
|
|
|
2015-12-13 00:51:51 +01:00
|
|
|
void InputHandler::pop_mode(InputMode* mode)
|
2015-06-02 21:56:57 +02:00
|
|
|
{
|
2015-12-13 00:51:51 +01:00
|
|
|
kak_assert(m_mode_stack.back().get() == mode);
|
2015-06-02 21:56:57 +02:00
|
|
|
kak_assert(m_mode_stack.size() > 1);
|
|
|
|
|
2020-12-01 11:56:55 +01:00
|
|
|
RefPtr<InputMode> keep_alive{mode}; // Ensure prev_name stays valid
|
2017-12-18 01:03:29 +01:00
|
|
|
StringView prev_name = mode->name();
|
|
|
|
|
2017-09-28 05:11:29 +02:00
|
|
|
current_mode().on_disabled(false);
|
2015-06-02 21:56:57 +02:00
|
|
|
m_mode_stack.pop_back();
|
|
|
|
current_mode().on_enabled();
|
2017-12-18 01:03:29 +01:00
|
|
|
|
2019-10-16 11:19:43 +02:00
|
|
|
context().hooks().run_hook(Hook::ModeChange, format("pop:{}:{}", prev_name, current_mode().name()), context());
|
2015-06-02 21:56:57 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
void InputHandler::reset_normal_mode()
|
|
|
|
{
|
2017-12-18 01:03:29 +01:00
|
|
|
kak_assert(dynamic_cast<InputModes::Normal*>(m_mode_stack[0].get()) != nullptr);
|
|
|
|
if (m_mode_stack.size() == 1)
|
|
|
|
return;
|
|
|
|
|
2019-10-16 11:19:43 +02:00
|
|
|
while (m_mode_stack.size() > 1)
|
|
|
|
pop_mode(m_mode_stack.back().get());
|
2015-06-02 21:56:57 +02:00
|
|
|
}
|
|
|
|
|
2016-10-24 20:41:05 +02:00
|
|
|
void InputHandler::insert(InsertMode mode, int count)
|
2013-11-14 22:12:59 +01:00
|
|
|
{
|
2016-10-24 20:41:05 +02:00
|
|
|
push_mode(new InputModes::Insert(*this, mode, count));
|
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;
|
2017-06-27 10:57:10 +02:00
|
|
|
|
2017-11-08 07:39:52 +01:00
|
|
|
if (dynamic_cast<InputModes::Normal*>(¤t_mode()) == nullptr or
|
|
|
|
m_last_insert.recording)
|
2017-06-27 10:57:10 +02:00
|
|
|
throw runtime_error{"repeating last insert not available in this context"};
|
2013-11-14 22:12:59 +01:00
|
|
|
|
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);
|
2016-09-27 00:43:05 +02:00
|
|
|
ScopedSetBool disable_hooks(context().hooks_disabled(),
|
2015-11-27 00:02:59 +01:00
|
|
|
m_last_insert.disable_hooks);
|
2017-11-08 07:39:52 +01:00
|
|
|
|
2017-06-25 08:25:31 +02:00
|
|
|
push_mode(new InputModes::Insert(*this, m_last_insert.mode, m_last_insert.count));
|
2013-11-14 22:12:59 +01:00
|
|
|
for (auto& key : keys)
|
2017-11-08 07:39:52 +01:00
|
|
|
{
|
2019-04-28 16:46:10 +02:00
|
|
|
// refill last_insert, this is very inefficient, but necessary at the moment
|
2017-11-08 07:39:52 +01:00
|
|
|
// to properly handle insert completion
|
|
|
|
m_last_insert.keys.push_back(key);
|
2015-06-03 21:03:06 +02:00
|
|
|
current_mode().handle_key(key);
|
2017-11-08 07:39:52 +01:00
|
|
|
}
|
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
|
|
|
}
|
|
|
|
|
2017-10-31 02:54:21 +01:00
|
|
|
void InputHandler::prompt(StringView prompt, String initstr, String emptystr,
|
2019-06-05 15:19:27 +02:00
|
|
|
Face prompt_face, PromptFlags flags, char history_register,
|
2019-01-24 11:02:07 +01:00
|
|
|
PromptCompleter completer, PromptCallback callback)
|
2013-11-14 22:12:59 +01:00
|
|
|
{
|
2017-10-31 02:54:21 +01:00
|
|
|
push_mode(new InputModes::Prompt(*this, prompt, std::move(initstr), std::move(emptystr),
|
2019-06-05 15:19:27 +02:00
|
|
|
prompt_face, flags, history_register,
|
|
|
|
std::move(completer), std::move(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
|
|
|
}
|
|
|
|
|
2016-02-27 18:23:13 +01:00
|
|
|
void InputHandler::menu(Vector<DisplayLine> choices, MenuCallback callback)
|
2013-11-14 22:12:59 +01:00
|
|
|
{
|
2017-03-17 00:08:10 +01:00
|
|
|
push_mode(new InputModes::Menu(*this, std::move(choices), std::move(callback)));
|
2013-11-14 22:12:59 +01:00
|
|
|
}
|
|
|
|
|
2020-02-27 16:36:15 +01:00
|
|
|
void InputHandler::on_next_key(StringView mode_name, KeymapMode keymap_mode, KeyCallback callback,
|
|
|
|
Timer::Callback idle_callback)
|
2013-11-14 22:12:59 +01:00
|
|
|
{
|
2020-02-27 16:36:15 +01:00
|
|
|
push_mode(new InputModes::NextKey(*this, format("next-key[{}]", mode_name), keymap_mode, std::move(callback),
|
|
|
|
std::move(idle_callback)));
|
2013-11-14 22:12:59 +01:00
|
|
|
}
|
|
|
|
|
2016-11-03 00:12:57 +01:00
|
|
|
InputHandler::ScopedForceNormal::ScopedForceNormal(InputHandler& handler, NormalParams params)
|
2016-03-22 23:54:29 +01:00
|
|
|
: m_handler(handler), m_mode(nullptr)
|
|
|
|
{
|
2016-11-03 00:12:57 +01:00
|
|
|
if (handler.m_mode_stack.size() != 1)
|
|
|
|
{
|
|
|
|
handler.push_mode(new InputModes::Normal(handler));
|
|
|
|
m_mode = handler.m_mode_stack.back().get();
|
|
|
|
}
|
2016-03-22 23:54:29 +01:00
|
|
|
|
2016-11-03 00:12:57 +01:00
|
|
|
static_cast<InputModes::Normal*>(handler.m_mode_stack.back().get())->m_params = params;
|
2016-03-22 23:54:29 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
InputHandler::ScopedForceNormal::~ScopedForceNormal()
|
|
|
|
{
|
|
|
|
if (not m_mode)
|
|
|
|
return;
|
|
|
|
|
|
|
|
kak_assert(m_handler.m_mode_stack.size() > 1);
|
|
|
|
|
|
|
|
if (m_mode == m_handler.m_mode_stack.back().get())
|
|
|
|
m_handler.pop_mode(m_mode);
|
|
|
|
else
|
|
|
|
{
|
|
|
|
auto it = find_if(m_handler.m_mode_stack,
|
|
|
|
[this](const RefPtr<InputMode>& m)
|
|
|
|
{ return m.get() == m_mode; });
|
|
|
|
kak_assert(it != m_handler.m_mode_stack.end());
|
|
|
|
m_handler.m_mode_stack.erase(it);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2013-11-14 22:12:59 +01:00
|
|
|
static bool is_valid(Key key)
|
|
|
|
{
|
2018-03-15 13:02:27 +01:00
|
|
|
constexpr Key::Modifiers valid_mods = (Key::Modifiers::Control | Key::Modifiers::Alt | Key::Modifiers::Shift);
|
|
|
|
|
2015-03-22 11:08:44 +01:00
|
|
|
return key != Key::Invalid and
|
2018-03-15 13:02:27 +01:00
|
|
|
((key.modifiers & ~valid_mods) or key.key <= 0x10FFFF);
|
2013-11-14 22:12:59 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
void InputHandler::handle_key(Key key)
|
|
|
|
{
|
2018-01-15 00:25:58 +01:00
|
|
|
if (not is_valid(key))
|
|
|
|
return;
|
2017-11-08 07:39:52 +01:00
|
|
|
|
2018-01-15 00:25:58 +01:00
|
|
|
const bool was_recording = is_recording();
|
|
|
|
++m_handle_key_level;
|
|
|
|
auto dec = on_scope_end([this]{ --m_handle_key_level; });
|
2013-11-14 22:12:59 +01:00
|
|
|
|
2018-01-15 00:25:58 +01:00
|
|
|
auto process_key = [&](Key key) {
|
|
|
|
if (m_last_insert.recording)
|
|
|
|
m_last_insert.keys.push_back(key);
|
|
|
|
current_mode().handle_key(key);
|
|
|
|
};
|
2016-04-13 22:21:49 +02:00
|
|
|
|
2018-01-15 00:25:58 +01:00
|
|
|
const auto keymap_mode = current_mode().keymap_mode();
|
|
|
|
KeymapManager& keymaps = m_context.keymaps();
|
|
|
|
if (keymaps.is_mapped(key, keymap_mode) and not m_context.keymaps_disabled())
|
|
|
|
{
|
|
|
|
ScopedSetBool disable_history{context().history_disabled()};
|
|
|
|
for (auto& k : keymaps.get_mapping(key, keymap_mode).keys)
|
|
|
|
process_key(k);
|
|
|
|
}
|
|
|
|
else
|
|
|
|
process_key(key);
|
|
|
|
|
|
|
|
// 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 == m_recording_level)
|
|
|
|
m_recorded_keys += key_to_str(key);
|
|
|
|
|
|
|
|
if (m_handle_key_level < m_recording_level)
|
|
|
|
{
|
|
|
|
write_to_debug_buffer("Macro recording started but not finished");
|
|
|
|
m_recording_reg = 0;
|
|
|
|
m_recording_level = -1;
|
2013-11-14 22:12:59 +01:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
void InputHandler::start_recording(char reg)
|
|
|
|
{
|
|
|
|
kak_assert(m_recording_reg == 0);
|
2016-04-13 22:21:49 +02:00
|
|
|
m_recording_level = m_handle_key_level;
|
2013-11-14 22:12:59 +01:00
|
|
|
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);
|
2016-05-20 10:44:05 +02:00
|
|
|
|
|
|
|
if (not m_recorded_keys.empty())
|
2017-02-14 01:02:01 +01:00
|
|
|
RegisterManager::instance()[m_recording_reg].set(
|
|
|
|
context(), {m_recorded_keys});
|
2016-05-20 10:44:05 +02:00
|
|
|
|
2013-11-14 22:12:59 +01:00
|
|
|
m_recording_reg = 0;
|
2016-04-13 22:21:49 +02:00
|
|
|
m_recording_level = -1;
|
2013-11-14 22:12:59 +01:00
|
|
|
}
|
|
|
|
|
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
|
|
|
}
|
|
|
|
|
2017-04-12 11:39:17 +02:00
|
|
|
std::pair<CursorMode, DisplayCoord> InputHandler::get_cursor_info() const
|
|
|
|
{
|
|
|
|
return current_mode().get_cursor_info();
|
|
|
|
}
|
|
|
|
|
2020-02-27 16:36:15 +01:00
|
|
|
bool should_show_info(AutoInfo mask, const Context& context)
|
|
|
|
{
|
|
|
|
return (context.options()["autoinfo"].get<AutoInfo>() & mask) and context.has_client();
|
|
|
|
}
|
|
|
|
|
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
|
|
|
{
|
2020-02-27 16:36:15 +01:00
|
|
|
if (not should_show_info(mask, context))
|
2015-08-11 21:36:07 +02:00
|
|
|
return false;
|
2015-11-19 00:43:51 +01:00
|
|
|
|
2016-02-27 18:23:13 +01:00
|
|
|
context.client().info_show(title.str(), info.str(), {}, InfoStyle::Prompt);
|
2015-08-11 21:36:07 +02:00
|
|
|
return true;
|
|
|
|
}
|
2015-11-19 00:43:51 +01:00
|
|
|
|
2016-02-27 18:23:13 +01:00
|
|
|
void hide_auto_info_ifn(const Context& context, bool hide)
|
|
|
|
{
|
|
|
|
if (hide)
|
|
|
|
context.client().info_hide();
|
|
|
|
}
|
|
|
|
|
2019-11-28 16:35:52 +01:00
|
|
|
void scroll_window(Context& context, LineCount offset, bool mouse_dragging)
|
2016-07-28 10:51:49 +02:00
|
|
|
{
|
|
|
|
Window& window = context.window();
|
|
|
|
Buffer& buffer = context.buffer();
|
2019-11-28 16:35:52 +01:00
|
|
|
const LineCount line_count = buffer.line_count();
|
2016-07-28 10:51:49 +02:00
|
|
|
|
2016-09-22 21:36:26 +02:00
|
|
|
DisplayCoord win_pos = window.position();
|
|
|
|
DisplayCoord win_dim = window.dimensions();
|
2016-07-28 10:51:49 +02:00
|
|
|
|
2019-11-28 16:35:52 +01:00
|
|
|
if ((offset < 0 and win_pos.line == 0) or (offset > 0 and win_pos.line == line_count - 1))
|
|
|
|
return;
|
|
|
|
|
2016-09-22 21:36:26 +02:00
|
|
|
const DisplayCoord max_offset{(win_dim.line - 1)/2, (win_dim.column - 1)/2};
|
|
|
|
const DisplayCoord scrolloff =
|
|
|
|
std::min(context.options()["scrolloff"].get<DisplayCoord>(), max_offset);
|
2016-07-28 10:51:49 +02:00
|
|
|
|
|
|
|
win_pos.line = clamp(win_pos.line + offset, 0_line, line_count-1);
|
2019-09-15 02:05:44 +02:00
|
|
|
|
2020-07-05 02:13:57 +02:00
|
|
|
SelectionList& selections = context.selections();
|
|
|
|
Selection& main_selection = selections.main();
|
2019-11-28 16:35:52 +01:00
|
|
|
const BufferCoord anchor = main_selection.anchor();
|
|
|
|
const BufferCoord cursor = main_selection.cursor();
|
2016-07-28 10:51:49 +02:00
|
|
|
|
2019-11-28 16:35:52 +01:00
|
|
|
auto cursor_off = mouse_dragging ? win_pos.line - window.position().line : 0;
|
2016-07-28 10:51:49 +02:00
|
|
|
|
2019-11-28 16:35:52 +01:00
|
|
|
auto line = clamp(cursor.line + cursor_off, win_pos.line + scrolloff.line,
|
2016-12-10 14:33:42 +01:00
|
|
|
win_pos.line + win_dim.line - 1 - scrolloff.line);
|
2019-11-28 16:35:52 +01:00
|
|
|
line = clamp(line, 0_line, buffer.line_count() - 1);
|
2016-12-10 14:33:42 +01:00
|
|
|
|
2016-12-07 01:08:41 +01:00
|
|
|
using std::min; using std::max;
|
|
|
|
// This is not exactly a clamp, and must be done in this order as
|
|
|
|
// byte_count_to could return line length
|
|
|
|
auto col = min(max(cursor.column, buffer[line].byte_count_to(win_pos.column)),
|
|
|
|
buffer[line].length()-1);
|
|
|
|
|
2019-11-28 16:35:52 +01:00
|
|
|
BufferCoord new_cursor = { line, col };
|
|
|
|
BufferCoord new_anchor = (mouse_dragging or new_cursor == cursor) ? anchor : new_cursor;
|
|
|
|
|
|
|
|
window.set_position(win_pos);
|
|
|
|
main_selection = { new_anchor, new_cursor };
|
2020-07-05 02:13:57 +02:00
|
|
|
|
|
|
|
selections.sort_and_merge_overlapping();
|
2016-07-28 10:51:49 +02:00
|
|
|
}
|
|
|
|
|
2013-11-14 22:12:59 +01:00
|
|
|
}
|