2013-04-09 19:39:03 +02:00
|
|
|
#include "context.hh"
|
|
|
|
|
2014-10-30 00:22:54 +01:00
|
|
|
#include "alias_registry.hh"
|
2013-09-12 23:47:23 +02:00
|
|
|
#include "client.hh"
|
2017-09-27 17:26:39 +02:00
|
|
|
#include "face_registry.hh"
|
2019-07-22 12:05:42 +02:00
|
|
|
#include "buffer_manager.hh"
|
2014-06-21 12:31:08 +02:00
|
|
|
#include "register_manager.hh"
|
2013-04-09 19:39:03 +02:00
|
|
|
#include "window.hh"
|
|
|
|
|
|
|
|
namespace Kakoune
|
|
|
|
{
|
|
|
|
|
2013-12-20 21:10:08 +01:00
|
|
|
Context::~Context() = default;
|
2013-04-09 19:39:03 +02:00
|
|
|
|
2014-05-13 00:25:15 +02:00
|
|
|
Context::Context(InputHandler& input_handler, SelectionList selections,
|
2014-12-19 00:12:58 +01:00
|
|
|
Flags flags, String name)
|
2019-02-09 05:41:09 +01:00
|
|
|
: m_flags(flags),
|
|
|
|
m_input_handler{&input_handler},
|
2014-05-13 00:25:15 +02:00
|
|
|
m_selections{std::move(selections)},
|
2014-04-04 01:00:06 +02:00
|
|
|
m_name(std::move(name))
|
|
|
|
{}
|
2013-12-17 00:24:08 +01:00
|
|
|
|
2015-04-19 19:47:52 +02:00
|
|
|
Context::Context(EmptyContextFlag) {}
|
|
|
|
|
2013-04-09 19:39:03 +02:00
|
|
|
Buffer& Context::buffer() const
|
|
|
|
{
|
|
|
|
if (not has_buffer())
|
|
|
|
throw runtime_error("no buffer in context");
|
2022-08-06 21:51:35 +02:00
|
|
|
return const_cast<Buffer&>(selections(false).buffer());
|
2013-04-09 19:39:03 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
Window& Context::window() const
|
|
|
|
{
|
|
|
|
if (not has_window())
|
|
|
|
throw runtime_error("no window in context");
|
2013-12-20 21:10:08 +01:00
|
|
|
return *m_window;
|
2013-04-09 19:39:03 +02:00
|
|
|
}
|
|
|
|
|
2013-11-14 19:09:15 +01:00
|
|
|
InputHandler& Context::input_handler() const
|
|
|
|
{
|
|
|
|
if (not has_input_handler())
|
|
|
|
throw runtime_error("no input handler in context");
|
|
|
|
return *m_input_handler;
|
|
|
|
}
|
|
|
|
|
2013-09-12 23:47:23 +02:00
|
|
|
Client& Context::client() const
|
2013-04-09 19:39:03 +02:00
|
|
|
{
|
2013-09-12 23:47:23 +02:00
|
|
|
if (not has_client())
|
2013-11-14 19:09:15 +01:00
|
|
|
throw runtime_error("no client in context");
|
2013-09-12 23:47:23 +02:00
|
|
|
return *m_client;
|
2013-04-09 19:39:03 +02:00
|
|
|
}
|
|
|
|
|
2014-10-30 15:00:42 +01:00
|
|
|
Scope& Context::scope() const
|
2013-04-09 19:39:03 +02:00
|
|
|
{
|
|
|
|
if (has_window())
|
2014-10-30 15:00:42 +01:00
|
|
|
return window();
|
2013-04-09 19:39:03 +02:00
|
|
|
if (has_buffer())
|
2014-10-30 15:00:42 +01:00
|
|
|
return buffer();
|
|
|
|
return GlobalScope::instance();
|
|
|
|
}
|
|
|
|
|
2013-11-14 19:09:15 +01:00
|
|
|
void Context::set_client(Client& client)
|
|
|
|
{
|
|
|
|
kak_assert(not has_client());
|
|
|
|
m_client.reset(&client);
|
|
|
|
}
|
|
|
|
|
2013-12-20 21:10:08 +01:00
|
|
|
void Context::set_window(Window& window)
|
|
|
|
{
|
|
|
|
kak_assert(&window.buffer() == &buffer());
|
|
|
|
m_window.reset(&window);
|
|
|
|
}
|
|
|
|
|
2018-03-30 00:58:18 +02:00
|
|
|
void Context::print_status(DisplayLine status) const
|
2013-04-09 19:39:03 +02:00
|
|
|
{
|
2013-09-16 20:15:13 +02:00
|
|
|
if (has_client())
|
2018-03-30 00:58:18 +02:00
|
|
|
client().print_status(std::move(status));
|
2013-04-09 19:39:03 +02:00
|
|
|
}
|
|
|
|
|
2019-02-17 00:19:54 +01:00
|
|
|
void JumpList::push(SelectionList jump, Optional<size_t> index)
|
2013-04-09 19:39:03 +02:00
|
|
|
{
|
2019-02-17 00:19:54 +01:00
|
|
|
if (index)
|
|
|
|
{
|
|
|
|
m_current = *index;
|
|
|
|
kak_assert(m_current <= m_jumps.size());
|
|
|
|
}
|
|
|
|
|
2015-12-23 03:31:03 +01:00
|
|
|
if (m_current != m_jumps.size())
|
|
|
|
m_jumps.erase(m_jumps.begin()+m_current+1, m_jumps.end());
|
2015-12-23 02:56:54 +01:00
|
|
|
m_jumps.erase(std::remove(begin(m_jumps), end(m_jumps), jump),
|
|
|
|
end(m_jumps));
|
|
|
|
m_jumps.push_back(jump);
|
2015-12-23 03:31:03 +01:00
|
|
|
m_current = m_jumps.size();
|
2013-04-09 19:39:03 +02:00
|
|
|
}
|
|
|
|
|
2017-11-13 08:34:02 +01:00
|
|
|
const SelectionList& JumpList::forward(Context& context, int count)
|
2013-04-09 19:39:03 +02:00
|
|
|
{
|
2015-12-23 03:31:03 +01:00
|
|
|
if (m_current != m_jumps.size() and
|
2017-11-13 08:34:02 +01:00
|
|
|
m_current + count < m_jumps.size())
|
2014-05-13 21:09:37 +02:00
|
|
|
{
|
2017-11-13 08:34:02 +01:00
|
|
|
m_current += count;
|
|
|
|
SelectionList& res = m_jumps[m_current];
|
2014-05-13 21:09:37 +02:00
|
|
|
res.update();
|
2017-09-27 17:26:39 +02:00
|
|
|
context.print_status({ format("jumped to #{} ({})",
|
|
|
|
m_current, m_jumps.size() - 1),
|
2018-04-07 07:36:39 +02:00
|
|
|
context.faces()["Information"] });
|
2014-05-13 21:09:37 +02:00
|
|
|
return res;
|
|
|
|
}
|
2013-04-09 19:39:03 +02:00
|
|
|
throw runtime_error("no next jump");
|
|
|
|
}
|
|
|
|
|
2017-11-13 08:34:02 +01:00
|
|
|
const SelectionList& JumpList::backward(Context& context, int count)
|
2013-04-09 19:39:03 +02:00
|
|
|
{
|
2017-11-13 08:34:02 +01:00
|
|
|
if ((int)m_current - count < 0)
|
|
|
|
throw runtime_error("no previous jump");
|
|
|
|
|
2017-09-27 17:26:39 +02:00
|
|
|
const SelectionList& current = context.selections();
|
2015-12-23 03:31:03 +01:00
|
|
|
if (m_current != m_jumps.size() and
|
|
|
|
m_jumps[m_current] != current)
|
2013-10-02 19:48:50 +02:00
|
|
|
{
|
2015-12-23 02:56:54 +01:00
|
|
|
push(current);
|
2017-11-13 08:34:02 +01:00
|
|
|
m_current -= count;
|
|
|
|
SelectionList& res = m_jumps[m_current];
|
2014-05-13 21:09:37 +02:00
|
|
|
res.update();
|
2017-09-27 17:26:39 +02:00
|
|
|
context.print_status({ format("jumped to #{} ({})",
|
|
|
|
m_current, m_jumps.size() - 1),
|
2018-04-07 07:36:39 +02:00
|
|
|
context.faces()["Information"] });
|
2014-05-13 21:09:37 +02:00
|
|
|
return res;
|
2013-10-02 19:48:50 +02:00
|
|
|
}
|
2015-12-23 03:31:03 +01:00
|
|
|
if (m_current != 0)
|
2013-04-09 19:39:03 +02:00
|
|
|
{
|
2015-12-23 03:31:03 +01:00
|
|
|
if (m_current == m_jumps.size())
|
2013-04-09 19:39:03 +02:00
|
|
|
{
|
2015-12-23 02:56:54 +01:00
|
|
|
push(current);
|
2015-12-23 03:31:03 +01:00
|
|
|
if (--m_current == 0)
|
2015-08-26 11:54:51 +02:00
|
|
|
throw runtime_error("no previous jump");
|
2013-04-09 19:39:03 +02:00
|
|
|
}
|
2017-11-13 08:34:02 +01:00
|
|
|
m_current -= count;
|
|
|
|
SelectionList& res = m_jumps[m_current];
|
2014-05-13 21:09:37 +02:00
|
|
|
res.update();
|
2017-09-27 17:26:39 +02:00
|
|
|
context.print_status({ format("jumped to #{} ({})",
|
|
|
|
m_current, m_jumps.size() - 1),
|
2018-04-07 07:36:39 +02:00
|
|
|
context.faces()["Information"] });
|
2014-05-13 21:09:37 +02:00
|
|
|
return res;
|
2013-04-09 19:39:03 +02:00
|
|
|
}
|
|
|
|
throw runtime_error("no previous jump");
|
|
|
|
}
|
|
|
|
|
2015-12-23 02:56:54 +01:00
|
|
|
void JumpList::forget_buffer(Buffer& buffer)
|
2013-04-09 19:39:03 +02:00
|
|
|
{
|
2015-12-23 03:31:03 +01:00
|
|
|
for (size_t i = 0; i < m_jumps.size();)
|
2013-04-09 19:39:03 +02:00
|
|
|
{
|
2015-12-23 03:31:03 +01:00
|
|
|
if (&m_jumps[i].buffer() == &buffer)
|
2013-04-09 19:39:03 +02:00
|
|
|
{
|
2015-12-23 03:31:03 +01:00
|
|
|
if (i < m_current)
|
2015-12-23 02:56:54 +01:00
|
|
|
--m_current;
|
2015-12-23 03:31:03 +01:00
|
|
|
else if (i == m_current)
|
|
|
|
m_current = m_jumps.size()-1;
|
2013-04-09 19:39:03 +02:00
|
|
|
|
2015-12-23 03:31:03 +01:00
|
|
|
m_jumps.erase(m_jumps.begin() + i);
|
2013-04-09 19:39:03 +02:00
|
|
|
}
|
|
|
|
else
|
2015-12-23 03:31:03 +01:00
|
|
|
++i;
|
2013-04-09 19:39:03 +02:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2013-12-20 21:10:08 +01:00
|
|
|
void Context::change_buffer(Buffer& buffer)
|
2013-04-09 19:39:03 +02:00
|
|
|
{
|
2017-12-12 08:22:05 +01:00
|
|
|
if (has_buffer() and &buffer == &this->buffer())
|
2014-10-10 15:00:24 +02:00
|
|
|
return;
|
|
|
|
|
2017-12-12 08:22:05 +01:00
|
|
|
if (has_buffer() and m_edition_level > 0)
|
2014-10-10 15:00:24 +02:00
|
|
|
this->buffer().commit_undo_group();
|
2014-11-21 19:56:39 +01:00
|
|
|
|
2013-12-20 21:10:08 +01:00
|
|
|
if (has_client())
|
2016-06-16 20:35:43 +02:00
|
|
|
{
|
|
|
|
client().info_hide();
|
|
|
|
client().menu_hide();
|
2017-05-13 12:18:21 +02:00
|
|
|
client().change_buffer(buffer);
|
2016-06-16 20:35:43 +02:00
|
|
|
}
|
2013-12-20 21:10:08 +01:00
|
|
|
else
|
2019-12-28 01:27:04 +01:00
|
|
|
{
|
|
|
|
m_window.reset();
|
2014-05-14 01:59:36 +02:00
|
|
|
m_selections = SelectionList{buffer, Selection{}};
|
2019-12-28 01:27:04 +01:00
|
|
|
}
|
2017-05-22 17:56:06 +02:00
|
|
|
|
|
|
|
if (has_input_handler())
|
|
|
|
input_handler().reset_normal_mode();
|
2013-04-09 19:39:03 +02:00
|
|
|
}
|
|
|
|
|
2019-07-22 12:05:42 +02:00
|
|
|
void Context::forget_buffer(Buffer& buffer)
|
|
|
|
{
|
|
|
|
m_jump_list.forget_buffer(buffer);
|
|
|
|
|
|
|
|
if (&this->buffer() != &buffer)
|
|
|
|
return;
|
|
|
|
|
|
|
|
if (is_editing() && has_input_handler())
|
|
|
|
input_handler().reset_normal_mode();
|
|
|
|
|
2021-09-11 09:43:25 +02:00
|
|
|
auto last_buffer = this->last_buffer();
|
|
|
|
change_buffer(last_buffer ? *last_buffer : BufferManager::instance().get_first_buffer());
|
|
|
|
}
|
|
|
|
|
|
|
|
Buffer* Context::last_buffer() const
|
|
|
|
{
|
|
|
|
const auto jump_list = m_jump_list.get_as_list();
|
|
|
|
if (jump_list.empty())
|
|
|
|
return nullptr;
|
|
|
|
|
|
|
|
auto predicate = [this](const auto& sels) {
|
|
|
|
return &sels.buffer() != &this->buffer();
|
|
|
|
};
|
|
|
|
|
|
|
|
auto next_buffer = find_if(jump_list.subrange(m_jump_list.current_index()-1),
|
|
|
|
predicate);
|
|
|
|
if (next_buffer != jump_list.end())
|
|
|
|
return &next_buffer->buffer();
|
|
|
|
|
|
|
|
auto previous_buffer = find_if(jump_list.subrange(0, m_jump_list.current_index()) | reverse(),
|
|
|
|
predicate);
|
|
|
|
|
|
|
|
return previous_buffer != jump_list.rend() ? &previous_buffer->buffer() : nullptr;
|
2019-07-22 12:05:42 +02:00
|
|
|
}
|
|
|
|
|
2022-08-06 21:51:35 +02:00
|
|
|
SelectionList& Context::selections(bool update)
|
2013-12-15 15:25:23 +01:00
|
|
|
{
|
2013-12-20 21:10:08 +01:00
|
|
|
if (not m_selections)
|
|
|
|
throw runtime_error("no selections in context");
|
2022-08-06 21:51:35 +02:00
|
|
|
if (update)
|
|
|
|
(*m_selections).update();
|
2013-12-20 21:10:08 +01:00
|
|
|
return *m_selections;
|
2013-12-15 15:25:23 +01:00
|
|
|
}
|
|
|
|
|
2015-04-19 16:12:16 +02:00
|
|
|
SelectionList& Context::selections_write_only()
|
|
|
|
{
|
2022-08-06 21:51:35 +02:00
|
|
|
return selections(false);
|
2015-04-19 16:12:16 +02:00
|
|
|
}
|
|
|
|
|
2022-08-06 21:51:35 +02:00
|
|
|
const SelectionList& Context::selections(bool update) const
|
2013-12-15 15:25:23 +01:00
|
|
|
{
|
2022-08-06 21:51:35 +02:00
|
|
|
return const_cast<Context&>(*this).selections(update);
|
2013-12-15 15:25:23 +01:00
|
|
|
}
|
|
|
|
|
2015-01-12 14:58:41 +01:00
|
|
|
Vector<String> Context::selections_content() const
|
2013-12-15 21:37:07 +01:00
|
|
|
{
|
2014-04-04 01:00:06 +02:00
|
|
|
auto& buf = buffer();
|
2015-01-12 14:58:41 +01:00
|
|
|
Vector<String> contents;
|
2013-12-15 21:37:07 +01:00
|
|
|
for (auto& sel : selections())
|
2014-04-04 01:00:06 +02:00
|
|
|
contents.push_back(buf.string(sel.min(), buf.char_next(sel.max())));
|
2013-12-15 21:37:07 +01:00
|
|
|
return contents;
|
|
|
|
}
|
|
|
|
|
2013-12-15 19:07:51 +01:00
|
|
|
void Context::begin_edition()
|
|
|
|
{
|
2014-01-06 21:07:08 +01:00
|
|
|
if (m_edition_level >= 0)
|
2018-09-12 12:02:57 +02:00
|
|
|
{
|
|
|
|
if (m_edition_level == 0)
|
|
|
|
m_edition_timestamp = buffer().timestamp();
|
2014-01-06 21:07:08 +01:00
|
|
|
++m_edition_level;
|
2018-09-12 12:02:57 +02:00
|
|
|
}
|
2013-12-15 19:07:51 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
void Context::end_edition()
|
|
|
|
{
|
2014-01-06 21:07:08 +01:00
|
|
|
if (m_edition_level < 0)
|
|
|
|
return;
|
|
|
|
|
|
|
|
kak_assert(m_edition_level != 0);
|
2018-09-12 12:02:57 +02:00
|
|
|
if (m_edition_level == 1 and
|
|
|
|
buffer().timestamp() != m_edition_timestamp)
|
2013-12-15 19:07:51 +01:00
|
|
|
buffer().commit_undo_group();
|
|
|
|
|
|
|
|
--m_edition_level;
|
|
|
|
}
|
|
|
|
|
2014-06-21 12:31:08 +02:00
|
|
|
StringView Context::main_sel_register_value(StringView reg) const
|
|
|
|
{
|
2022-08-06 21:51:35 +02:00
|
|
|
size_t index = has_buffer() ? selections(false).main_index() : 0;
|
2019-06-05 15:19:27 +02:00
|
|
|
return RegisterManager::instance()[reg].get_main(*this, index);
|
2014-06-21 12:31:08 +02:00
|
|
|
}
|
|
|
|
|
2013-04-09 19:39:03 +02:00
|
|
|
}
|