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;
|
|
|
|
|
2023-07-05 14:00:32 +02:00
|
|
|
void handle_key(Key key, bool synthesized) { RefPtr<InputMode> keep_alive{this}; on_key(key, synthesized); }
|
2022-12-11 19:30:02 +01:00
|
|
|
virtual void paste(StringView content);
|
2015-06-03 21:03:06 +02:00
|
|
|
|
2023-06-24 23:22:16 +02:00
|
|
|
virtual void on_enabled(bool from_pop) {}
|
|
|
|
virtual void on_disabled(bool from_push) {}
|
2017-05-22 17:56:06 +02:00
|
|
|
|
2023-11-07 08:01:54 +01:00
|
|
|
virtual void refresh_ifn() {}
|
|
|
|
|
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:
|
2023-07-05 14:00:32 +02:00
|
|
|
virtual void on_key(Key key, bool synthesized) = 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;
|
|
|
|
};
|
|
|
|
|
2022-12-11 19:30:02 +01:00
|
|
|
void InputMode::paste(StringView content)
|
|
|
|
{
|
|
|
|
try
|
|
|
|
{
|
|
|
|
Buffer& buffer = context().buffer();
|
2023-03-09 21:21:29 +01:00
|
|
|
const bool linewise = not content.empty() and content.back() == '\n';
|
2022-12-11 19:30:02 +01:00
|
|
|
ScopedEdition edition{context()};
|
|
|
|
ScopedSelectionEdition selection_edition{context()};
|
2023-03-09 21:21:29 +01:00
|
|
|
context().selections().for_each([&buffer, content=std::move(content), linewise]
|
2022-12-11 19:30:02 +01:00
|
|
|
(size_t index, Selection& sel) {
|
2023-03-09 21:21:29 +01:00
|
|
|
auto& min = sel.min();
|
|
|
|
auto& max = sel.max();
|
|
|
|
BufferRange range =
|
|
|
|
buffer.insert(paste_pos(buffer, min, max, PasteMode::Insert, linewise), content);
|
|
|
|
min = range.begin;
|
|
|
|
max = range.end > range.begin ? buffer.char_prev(range.end) : range.begin;
|
2022-12-11 19:30:02 +01:00
|
|
|
}, false);
|
|
|
|
}
|
|
|
|
catch (Kakoune::runtime_error& error)
|
|
|
|
{
|
|
|
|
write_to_debug_buffer(format("Error: {}", error.what()));
|
|
|
|
context().print_status({error.what().str(), context().faces()["Error"] });
|
|
|
|
context().hooks().run_hook(Hook::RuntimeError, error.what(), context());
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2013-11-14 22:12:59 +01:00
|
|
|
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;
|
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
|
|
|
{
|
2022-08-06 21:55:39 +02:00
|
|
|
case Key::MouseButton::Right: {
|
|
|
|
m_dragging.reset();
|
2020-06-28 11:48:55 +02:00
|
|
|
cursor = context.window().buffer_coord(key.coord());
|
2022-08-06 21:55:39 +02:00
|
|
|
ScopedSelectionEdition selection_edition{context};
|
|
|
|
auto& selections = context.selections();
|
2020-06-28 11:48:55 +02:00
|
|
|
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;
|
2022-08-06 21:55:39 +02:00
|
|
|
}
|
2020-06-28 11:48:55 +02:00
|
|
|
|
2022-08-06 21:55:39 +02:00
|
|
|
case Key::MouseButton::Left: {
|
|
|
|
m_dragging.reset(new ScopedSelectionEdition{context});
|
2020-06-28 11:48:55 +02:00
|
|
|
m_anchor = context.window().buffer_coord(key.coord());
|
|
|
|
if (not (key.modifiers & Key::Modifiers::Control))
|
|
|
|
context.selections_write_only() = { buffer, m_anchor};
|
|
|
|
else
|
|
|
|
{
|
2022-08-06 21:55:39 +02:00
|
|
|
auto& selections = context.selections();
|
2020-06-28 11:48:55 +02:00
|
|
|
size_t main = selections.size();
|
|
|
|
selections.push_back({m_anchor});
|
|
|
|
selections.set_main_index(main);
|
|
|
|
selections.sort_and_merge_overlapping();
|
|
|
|
}
|
|
|
|
return true;
|
2022-08-06 21:55:39 +02:00
|
|
|
}
|
2020-06-28 11:48:55 +02:00
|
|
|
|
|
|
|
default: return true;
|
2016-10-13 23:59:02 +02:00
|
|
|
}
|
2015-08-16 15:06:07 +02:00
|
|
|
|
2022-08-06 21:55:39 +02:00
|
|
|
case Key::Modifiers::MouseRelease: {
|
2015-03-22 11:08:44 +01:00
|
|
|
if (not m_dragging)
|
|
|
|
return true;
|
2022-08-06 21:55:39 +02:00
|
|
|
auto& selections = context.selections();
|
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();
|
2022-08-06 21:55:39 +02:00
|
|
|
m_dragging.reset();
|
2015-03-22 11:08:44 +01:00
|
|
|
return true;
|
2022-08-06 21:55:39 +02:00
|
|
|
}
|
2015-08-16 15:06:07 +02:00
|
|
|
|
2022-08-06 21:55:39 +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());
|
2022-08-06 21:55:39 +02:00
|
|
|
auto& selections = context.selections();
|
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;
|
2022-08-06 21:55:39 +02:00
|
|
|
}
|
2015-08-16 15:06:07 +02:00
|
|
|
|
2019-08-19 14:16:39 +02:00
|
|
|
case Key::Modifiers::Scroll:
|
2023-08-27 00:05:46 +02:00
|
|
|
scroll_window(context, static_cast<int32_t>(key.key), m_dragging ? OnHiddenCursor::MoveCursor : OnHiddenCursor::PreserveSelections);
|
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:
|
2022-08-06 21:55:39 +02:00
|
|
|
std::unique_ptr<ScopedSelectionEdition> m_dragging;
|
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
|
|
|
{}
|
|
|
|
|
2023-06-24 23:22:16 +02:00
|
|
|
void on_enabled(bool from_pop) 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
|
|
|
}
|
|
|
|
|
2023-06-24 23:22:16 +02:00
|
|
|
void on_disabled(bool from_push) 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
|
|
|
|
2023-06-24 23:22:16 +02:00
|
|
|
if (not from_push and m_hooks_disabled)
|
2017-12-06 05:59:31 +01:00
|
|
|
{
|
|
|
|
context().hooks_disabled().unset();
|
|
|
|
m_hooks_disabled = false;
|
|
|
|
}
|
2013-11-14 22:12:59 +01:00
|
|
|
}
|
|
|
|
|
2023-07-05 14:00:32 +02:00
|
|
|
void on_key(Key key, bool) 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())
|
2022-08-04 10:51:10 +02:00
|
|
|
context().client().info_show(to_string(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
|
|
|
}
|
2022-06-12 13:30:56 +02:00
|
|
|
else
|
|
|
|
m_params = { 0, 0 };
|
2013-11-14 22:12:59 +01:00
|
|
|
}
|
2015-03-22 11:08:44 +01:00
|
|
|
|
2022-08-04 10:51:10 +02:00
|
|
|
context().hooks().run_hook(Hook::NormalKey, to_string(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();
|
2022-02-09 12:43:36 +01:00
|
|
|
else if (key == Key::Backspace or key == shift(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())
|
2021-08-17 12:40:30 +02:00
|
|
|
return DisplayLine{{ { str.substr(m_display_pos, width-1).str(), line_face },
|
2017-10-28 04:07:28 +02:00
|
|
|
{ " "_str, cursor_face} } };
|
2013-11-14 22:12:59 +01:00
|
|
|
else
|
2021-08-17 12:40:30 +02:00
|
|
|
return DisplayLine({ { str.substr(m_display_pos, m_cursor_pos - m_display_pos).str(), line_face },
|
|
|
|
{ str.substr(m_cursor_pos,1).str(), cursor_face },
|
|
|
|
{ str.substr(m_cursor_pos+1, width - m_cursor_pos + m_display_pos - 1).str(), 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
|
|
|
};
|
|
|
|
|
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),
|
Disable history only for prompts that are never shown in the UI
My terminal allows to map <c-[> and <esc> independently. I like
to use <c-[> as escape key so I have this mapping:
map global prompt <c-[> <esc>
Unfortunately, this is not equivalent to <esc>. Since mappings are
run with history disabled, <c-[> will not add the command to the
prompt history.
So disabling command history inside mappings is wrong in case the
command prompt was created before mapping execution. The behavior
should be: "a prompt that is both created and closed inside a
noninteractive context does not add to prompt history", where
"noninteractive" means inside a mapping, hook, command, execute-keys
or evaluate-commands.
Implement this behavior, it should better meet user expectations.
Scripts can always use "set-register" to add to history.
Here are my test cases:
1. Basic regression test (needs above mapping):
:nop should be added to history<c-[>
---
2. Create the prompt in a noninteractive context:
:exec %{:}
now we're back in the interactive context, so we can type:
nop should be added to history<ret>
---
3. To check if it works for nested prompts, first set up this mapping.
map global prompt <c-j> '<a-semicolon>:nop should NOT be added to history<ret>'
map global prompt <c-h> '<a-semicolon>:nop should be added to history first'
Then type
:nop should be added to history second<c-j><c-h><ret><ret>
the inner command run by <c-j> should not be added to history because
it only existed in a noninteractive context.
---
See also the discussion https://github.com/mawww/kakoune/pull/4692
We could automate the tests if we had a test setup that allowed
feeding interactive key input into Kakoune instead of using
"execute-commands". Some projects use tmux, or maybe we can mock
the terminal.
2022-08-29 08:00:53 +02:00
|
|
|
m_was_interactive{not context().noninteractive()},
|
2019-06-05 15:19:27 +02:00
|
|
|
m_history{RegisterManager::instance()[history_register]},
|
2022-06-05 01:19:05 +02:00
|
|
|
m_current_history{-1},
|
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
|
|
|
}
|
|
|
|
|
2023-07-05 14:00:32 +02:00
|
|
|
void on_key(Key key, bool synthesized) override
|
2013-11-14 22:12:59 +01:00
|
|
|
{
|
|
|
|
const String& line = m_line_editor.line();
|
2023-07-05 14:00:32 +02:00
|
|
|
if (not synthesized)
|
|
|
|
m_was_interactive = true;
|
2013-11-14 22:12:59 +01:00
|
|
|
|
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());
|
2023-07-04 09:15:33 +02:00
|
|
|
const bool at_end = line.byte_count_to(m_line_editor.cursor_pos()) == line.length();
|
2020-11-18 09:55:57 +01:00
|
|
|
return (m_completions.flags & Completions::Flags::Menu) and
|
|
|
|
has_completions and
|
2023-07-04 09:15:33 +02:00
|
|
|
not completion_selected and at_end and
|
2020-11-18 09:55:57 +01:00
|
|
|
(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
|
|
|
{
|
2022-07-19 15:34:49 +02:00
|
|
|
if (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;
|
|
|
|
}
|
2021-04-27 13:07:06 +02:00
|
|
|
else if (key == Key::Escape or key == ctrl('c') or
|
2022-02-09 12:43:36 +01:00
|
|
|
((key == Key::Backspace or key == shift(Key::Backspace) or key == ctrl('h')) and line.empty()))
|
2013-11-14 22:12:59 +01:00
|
|
|
{
|
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&) {
|
2022-06-30 08:36:12 +02:00
|
|
|
const bool joined = (bool)(key.modifiers & Key::Modifiers::Alt);
|
|
|
|
key.modifiers &= ~Key::Modifiers::Alt;
|
|
|
|
|
2017-09-21 11:53:10 +02:00
|
|
|
auto cp = key.codepoint();
|
|
|
|
if (not cp or key == Key::Escape)
|
|
|
|
return;
|
2022-06-30 08:36:12 +02:00
|
|
|
|
|
|
|
m_line_editor.insert(
|
|
|
|
joined ? join(RegisterManager::instance()[*cp].get(context()), ' ', false)
|
|
|
|
: context().main_sel_register_value(String{*cp}));
|
2017-09-21 11:53:10 +02:00
|
|
|
|
|
|
|
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'))
|
|
|
|
{
|
2022-06-05 01:19:05 +02:00
|
|
|
auto history = m_history.get(context());
|
|
|
|
m_current_history = std::min(static_cast<int>(history.size()) - 1, m_current_history);
|
|
|
|
if (m_current_history == -1)
|
|
|
|
m_prefix = line;
|
|
|
|
auto next = find_if(history.subrange(m_current_history + 1), [this](StringView s) { return prefix_match(s, m_prefix); });
|
|
|
|
if (next != history.end())
|
2013-11-14 22:12:59 +01:00
|
|
|
{
|
2022-06-05 01:19:05 +02:00
|
|
|
m_current_history = next - history.begin();
|
|
|
|
m_line_editor.reset(*next, m_empty_text);
|
2013-11-14 22:12:59 +01:00
|
|
|
}
|
2022-06-05 01:19:05 +02:00
|
|
|
clear_completions();
|
|
|
|
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());
|
2022-06-05 01:19:05 +02:00
|
|
|
m_current_history = std::min(static_cast<int>(history.size()) - 1, m_current_history);
|
|
|
|
if (m_current_history >= 0)
|
2013-11-14 22:12:59 +01:00
|
|
|
{
|
2022-06-05 01:19:05 +02:00
|
|
|
auto next = find_if(history.subrange(0, m_current_history) | reverse(), [this](StringView s) { return prefix_match(s, m_prefix); });
|
|
|
|
m_current_history = history.rend() - next - 1;
|
|
|
|
m_line_editor.reset(next != history.rend() ? *next : 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;
|
2023-09-19 09:11:33 +02:00
|
|
|
|
|
|
|
if (m_auto_complete and m_refresh_completion_pending)
|
|
|
|
refresh_completions(CompletionFlags::Fast);
|
|
|
|
if (candidates.empty()) // manual completion, we need to ask our completer for completions
|
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&) {
|
2023-02-12 20:51:28 +01:00
|
|
|
m_explicit_completer = ArgCompleter{};
|
2020-10-19 10:36:58 +02:00
|
|
|
|
|
|
|
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'))
|
|
|
|
{
|
2023-02-12 20:51:28 +01:00
|
|
|
m_explicit_completer = ArgCompleter{};
|
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
|
|
|
|
{
|
2022-02-09 12:43:36 +01:00
|
|
|
if ((key == Key::Space or key == shift(Key::Space)) 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
|
|
|
}
|
|
|
|
|
2023-12-10 10:58:40 +01:00
|
|
|
void refresh_ifn() override
|
2023-11-07 08:01:54 +01:00
|
|
|
{
|
|
|
|
bool explicit_completion_selected = m_current_completion != -1 and
|
|
|
|
(not m_prefix_in_completions or m_current_completion != m_completions.candidates.size() - 1);
|
|
|
|
if (not enabled() or (context().flags() & Context::Flags::Draft) or explicit_completion_selected)
|
|
|
|
return;
|
|
|
|
|
|
|
|
if (auto next_date = Clock::now() + get_idle_timeout(context());
|
|
|
|
next_date < m_idle_timer.next_date())
|
|
|
|
m_idle_timer.set_next_date(next_date);
|
|
|
|
m_refresh_completion_pending = true;
|
|
|
|
}
|
|
|
|
|
2022-12-11 19:30:02 +01:00
|
|
|
void paste(StringView content) override
|
|
|
|
{
|
|
|
|
m_line_editor.insert(content);
|
|
|
|
clear_completions();
|
|
|
|
m_refresh_completion_pending = true;
|
|
|
|
display();
|
|
|
|
m_line_changed = true;
|
|
|
|
if (not (context().flags() & Context::Flags::Draft))
|
|
|
|
m_idle_timer.set_next_date(Clock::now() + get_idle_timeout(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
|
|
|
{
|
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()));
|
2023-11-13 09:19:53 +01:00
|
|
|
if (not context().has_client())
|
|
|
|
return;
|
2023-11-21 07:16:38 +01:00
|
|
|
if (m_completions.candidates.empty())
|
|
|
|
return context().client().menu_hide();
|
|
|
|
|
2023-06-24 23:22:16 +02:00
|
|
|
show_completions();
|
2023-11-13 09:19:53 +01:00
|
|
|
const bool menu = (bool)(m_completions.flags & Completions::Flags::Menu);
|
|
|
|
if (menu)
|
|
|
|
context().client().menu_select(0);
|
|
|
|
auto prefix = line.substr(m_completions.start, m_completions.end - m_completions.start);
|
2023-11-07 08:01:54 +01:00
|
|
|
m_prefix_in_completions = not menu and not contains(m_completions.candidates, prefix);
|
|
|
|
if (m_prefix_in_completions)
|
2023-11-13 09:19:53 +01:00
|
|
|
{
|
|
|
|
m_current_completion = m_completions.candidates.size();
|
|
|
|
m_completions.candidates.push_back(prefix.str());
|
2015-10-05 02:25:23 +02:00
|
|
|
}
|
2013-11-14 22:12:59 +01:00
|
|
|
} catch (runtime_error&) {}
|
|
|
|
}
|
|
|
|
|
2023-06-24 23:22:16 +02:00
|
|
|
void show_completions()
|
|
|
|
{
|
|
|
|
Vector<DisplayLine> items;
|
|
|
|
for (auto& candidate : m_completions.candidates)
|
|
|
|
items.push_back({ candidate, {} });
|
|
|
|
|
|
|
|
const auto menu_style = (m_flags & PromptFlags::Search) ? MenuStyle::Search : MenuStyle::Prompt;
|
|
|
|
context().client().menu_show(std::move(items), {}, menu_style);
|
|
|
|
}
|
|
|
|
|
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);
|
|
|
|
}
|
|
|
|
|
2023-06-24 23:22:16 +02:00
|
|
|
void on_enabled(bool from_pop) override
|
2017-02-02 00:04:37 +01:00
|
|
|
{
|
|
|
|
display();
|
2023-06-24 23:22:16 +02:00
|
|
|
if (from_pop)
|
|
|
|
{
|
2023-11-21 07:16:38 +01:00
|
|
|
if (context().has_client() and not m_completions.candidates.empty())
|
2023-06-24 23:22:16 +02:00
|
|
|
{
|
|
|
|
show_completions();
|
|
|
|
const bool menu = (bool)(m_completions.flags & Completions::Flags::Menu);
|
|
|
|
if (m_current_completion != -1)
|
|
|
|
context().client().menu_select(m_current_completion);
|
|
|
|
else if (menu)
|
|
|
|
context().client().menu_select(0);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
else
|
|
|
|
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
|
|
|
}
|
|
|
|
|
2023-06-24 23:22:16 +02:00
|
|
|
void on_disabled(bool from_push) override
|
2017-04-03 19:11:09 +02:00
|
|
|
{
|
2023-06-24 23:22:16 +02:00
|
|
|
if (not from_push)
|
2018-07-15 02:39:25 +02:00
|
|
|
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;
|
Disable history only for prompts that are never shown in the UI
My terminal allows to map <c-[> and <esc> independently. I like
to use <c-[> as escape key so I have this mapping:
map global prompt <c-[> <esc>
Unfortunately, this is not equivalent to <esc>. Since mappings are
run with history disabled, <c-[> will not add the command to the
prompt history.
So disabling command history inside mappings is wrong in case the
command prompt was created before mapping execution. The behavior
should be: "a prompt that is both created and closed inside a
noninteractive context does not add to prompt history", where
"noninteractive" means inside a mapping, hook, command, execute-keys
or evaluate-commands.
Implement this behavior, it should better meet user expectations.
Scripts can always use "set-register" to add to history.
Here are my test cases:
1. Basic regression test (needs above mapping):
:nop should be added to history<c-[>
---
2. Create the prompt in a noninteractive context:
:exec %{:}
now we're back in the interactive context, so we can type:
nop should be added to history<ret>
---
3. To check if it works for nested prompts, first set up this mapping.
map global prompt <c-j> '<a-semicolon>:nop should NOT be added to history<ret>'
map global prompt <c-h> '<a-semicolon>:nop should be added to history first'
Then type
:nop should be added to history second<c-j><c-h><ret><ret>
the inner command run by <c-j> should not be added to history because
it only existed in a noninteractive context.
---
See also the discussion https://github.com/mawww/kakoune/pull/4692
We could automate the tests if we had a test setup that allowed
feeding interactive key input into Kakoune instead of using
"execute-commands". Some projects use tmux, or maybe we can mock
the terminal.
2022-08-29 08:00:53 +02:00
|
|
|
bool m_was_interactive;
|
2019-06-05 15:19:27 +02:00
|
|
|
Register& m_history;
|
2022-06-05 01:19:05 +02:00
|
|
|
int 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
|
|
|
{
|
2023-07-05 14:00:32 +02:00
|
|
|
if (entry.empty() or not m_was_interactive 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
|
|
|
|
2023-07-05 14:00:32 +02:00
|
|
|
void on_key(Key key, bool) 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()),
|
2022-08-06 21:55:39 +02:00
|
|
|
m_selection_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
|
|
|
}
|
|
|
|
|
2023-06-24 23:22:16 +02:00
|
|
|
void on_enabled(bool from_pop) override
|
2015-06-03 21:03:06 +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()));
|
2015-06-03 21:03:06 +02:00
|
|
|
}
|
|
|
|
|
2023-06-24 23:22:16 +02:00
|
|
|
void on_disabled(bool from_push) 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
|
|
|
|
2023-06-24 23:22:16 +02:00
|
|
|
if (not from_push)
|
2017-09-28 05:11:29 +02:00
|
|
|
{
|
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
|
|
|
}
|
|
|
|
|
2023-07-05 14:00:32 +02:00
|
|
|
void on_key(Key key, bool) 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
|
|
|
}
|
2022-02-09 12:43:36 +01:00
|
|
|
else if (key == Key::Backspace or key == shift(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);
|
2022-08-04 10:51:10 +02:00
|
|
|
context().hooks().run_hook(Hook::InsertKey, to_string(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
|
|
|
|
2022-08-04 10:51:10 +02:00
|
|
|
context().hooks().run_hook(Hook::InsertKey, to_string(key), context());
|
2013-11-14 22:12:59 +01:00
|
|
|
if (moved)
|
2022-08-04 10:51:10 +02:00
|
|
|
context().hooks().run_hook(Hook::InsertMove, to_string(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
|
|
|
}
|
|
|
|
|
2022-12-11 19:30:02 +01:00
|
|
|
void paste(StringView content) override
|
|
|
|
{
|
2023-04-22 18:50:29 +02:00
|
|
|
insert(ConstArrayView<StringView>{content});
|
2022-12-11 19:30:02 +01:00
|
|
|
m_idle_timer.set_next_date(Clock::now() + get_idle_timeout(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();
|
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"] },
|
2021-12-11 13:11:08 +01:00
|
|
|
{ num_sel == 1 ? format("{} sel", num_sel)
|
|
|
|
: 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)
|
|
|
|
{
|
2022-06-08 11:43:03 +02:00
|
|
|
auto cursor = context().buffer().offset_coord(sel.cursor(), offset, tabstop);
|
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();
|
|
|
|
}
|
|
|
|
|
2022-12-11 19:30:02 +01:00
|
|
|
template<typename S>
|
|
|
|
void insert(ConstArrayView<S> strings)
|
2013-11-14 22:12:59 +01:00
|
|
|
{
|
2022-06-04 02:50:09 +02:00
|
|
|
m_completer.try_accept();
|
2021-10-10 01:28:34 +02:00
|
|
|
context().selections().for_each([strings, &buffer=context().buffer()]
|
|
|
|
(size_t index, Selection& sel) {
|
|
|
|
Kakoune::insert(buffer, sel, sel.cursor(), strings[std::min(strings.size()-1, index)]);
|
2022-11-28 10:27:44 +01:00
|
|
|
}, false);
|
2013-11-14 22:12:59 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
void insert(Codepoint key)
|
|
|
|
{
|
2016-02-05 10:13:07 +01:00
|
|
|
String str{key};
|
2023-04-22 18:50:29 +02:00
|
|
|
insert(ConstArrayView<String>{str});
|
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;
|
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;
|
2022-08-06 21:55:39 +02:00
|
|
|
ScopedSelectionEdition m_selection_edition;
|
2017-01-25 14:36:06 +01:00
|
|
|
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));
|
2023-06-24 23:22:16 +02:00
|
|
|
current_mode().on_enabled(false);
|
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);
|
2023-06-24 23:22:16 +02:00
|
|
|
new_mode->on_enabled(false);
|
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();
|
2023-06-24 23:22:16 +02:00
|
|
|
current_mode().on_enabled(true);
|
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);
|
2024-02-23 16:53:30 +01:00
|
|
|
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
|
|
|
}
|
|
|
|
|
2022-12-11 19:30:02 +01:00
|
|
|
void InputHandler::paste(StringView content)
|
|
|
|
{
|
|
|
|
current_mode().paste(content);
|
|
|
|
}
|
|
|
|
|
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
|
|
|
{
|
2023-07-05 14:00:32 +02:00
|
|
|
if (auto* prompt = dynamic_cast<InputModes::Prompt*>(¤t_mode()))
|
2014-07-11 01:27:04 +02:00
|
|
|
prompt->set_prompt_face(prompt_face);
|
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;
|
|
|
|
|
|
|
|
if (m_mode == m_handler.m_mode_stack.back().get())
|
|
|
|
m_handler.pop_mode(m_mode);
|
2022-04-12 04:49:19 +02:00
|
|
|
else if (auto it = find(m_handler.m_mode_stack, m_mode);
|
|
|
|
it != m_handler.m_mode_stack.end())
|
2016-03-22 23:54:29 +01:00
|
|
|
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);
|
|
|
|
|
2023-03-13 10:55:31 +01:00
|
|
|
return ((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;
|
2023-07-05 14:00:32 +02:00
|
|
|
auto dec = on_scope_end([this]{ --m_handle_key_level;} );
|
|
|
|
|
|
|
|
auto process_key = [&](Key key, bool synthesized) {
|
|
|
|
current_mode().handle_key(key, synthesized);
|
2018-01-15 00:25:58 +01:00
|
|
|
};
|
2016-04-13 22:21:49 +02:00
|
|
|
|
2024-02-23 16:53:30 +01:00
|
|
|
if (m_last_insert.recording and m_handle_key_level <= 1)
|
|
|
|
m_last_insert.keys.push_back(key);
|
|
|
|
|
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())
|
|
|
|
{
|
2022-07-31 20:48:38 +02:00
|
|
|
ScopedSetBool noninteractive{context().noninteractive()};
|
2023-05-14 12:59:18 +02:00
|
|
|
|
2023-05-29 12:08:02 +02:00
|
|
|
for (auto& k : keymaps.get_mapping_keys(key, keymap_mode))
|
2023-07-05 14:00:32 +02:00
|
|
|
process_key(k, true);
|
2018-01-15 00:25:58 +01:00
|
|
|
}
|
|
|
|
else
|
2023-07-05 14:00:32 +02:00
|
|
|
process_key(key, m_handle_key_level > 1);
|
2018-01-15 00:25:58 +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 == m_recording_level)
|
2022-08-04 10:51:10 +02:00
|
|
|
m_recorded_keys += to_string(key);
|
2018-01-15 00:25:58 +01:00
|
|
|
|
|
|
|
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
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2023-11-07 08:01:54 +01:00
|
|
|
void InputHandler::refresh_ifn()
|
|
|
|
{
|
|
|
|
current_mode().refresh_ifn();
|
|
|
|
}
|
|
|
|
|
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();
|
|
|
|
}
|
|
|
|
|
2023-08-27 00:05:46 +02:00
|
|
|
void scroll_window(Context& context, LineCount offset, OnHiddenCursor on_hidden_cursor)
|
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
|
|
|
|
2023-08-27 00:05:46 +02:00
|
|
|
if (on_hidden_cursor == OnHiddenCursor::PreserveSelections)
|
|
|
|
context.ensure_cursor_visible = false;
|
|
|
|
|
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
|
|
|
|
2023-08-27 00:05:46 +02:00
|
|
|
window.set_position(win_pos);
|
|
|
|
if (on_hidden_cursor != OnHiddenCursor::PreserveSelections)
|
|
|
|
{
|
|
|
|
ScopedSelectionEdition selection_edition{context};
|
|
|
|
SelectionList& selections = context.selections();
|
|
|
|
Selection& main_selection = selections.main();
|
|
|
|
const BufferCoord anchor = main_selection.anchor();
|
|
|
|
const BufferCoordAndTarget cursor = main_selection.cursor();
|
2016-07-28 10:51:49 +02:00
|
|
|
|
2023-08-27 00:05:46 +02:00
|
|
|
auto cursor_off = win_pos.line - window.position().line;
|
2016-07-28 10:51:49 +02:00
|
|
|
|
2023-08-27 00:05:46 +02:00
|
|
|
auto line = clamp(cursor.line + cursor_off, win_pos.line + scrolloff.line,
|
|
|
|
win_pos.line + win_dim.line - 1 - scrolloff.line);
|
2016-12-10 14:33:42 +01:00
|
|
|
|
2023-08-27 00:05:46 +02:00
|
|
|
const ColumnCount tabstop = context.options()["tabstop"].get<int>();
|
|
|
|
auto new_cursor = buffer.offset_coord(cursor, line - cursor.line, tabstop);
|
2019-11-28 16:35:52 +01:00
|
|
|
|
2023-08-27 00:05:46 +02:00
|
|
|
main_selection = {on_hidden_cursor == OnHiddenCursor::MoveCursor ? anchor : new_cursor, new_cursor};
|
2020-07-05 02:13:57 +02:00
|
|
|
|
2023-08-27 00:05:46 +02:00
|
|
|
selections.sort_and_merge_overlapping();
|
|
|
|
}
|
2016-07-28 10:51:49 +02:00
|
|
|
}
|
|
|
|
|
2013-11-14 22:12:59 +01:00
|
|
|
}
|