2013-04-09 21:39:03 +04:00
|
|
|
#include "context.hh"
|
|
|
|
|
2013-09-13 01:47:23 +04:00
|
|
|
#include "client.hh"
|
2013-04-09 21:39:03 +04:00
|
|
|
#include "user_interface.hh"
|
|
|
|
#include "window.hh"
|
|
|
|
|
|
|
|
namespace Kakoune
|
|
|
|
{
|
|
|
|
|
|
|
|
Context::Context() = default;
|
|
|
|
|
2013-11-15 00:51:25 +04:00
|
|
|
Context::Context(InputHandler& input_handler, Editor& editor, String name)
|
|
|
|
: m_input_handler(&input_handler), m_editor(&editor),
|
|
|
|
m_name(std::move(name)) {}
|
2013-04-09 21:39:03 +04:00
|
|
|
|
|
|
|
Context::~Context() = default;
|
|
|
|
|
|
|
|
Buffer& Context::buffer() const
|
|
|
|
{
|
|
|
|
if (not has_buffer())
|
|
|
|
throw runtime_error("no buffer in context");
|
|
|
|
return m_editor->buffer();
|
|
|
|
}
|
|
|
|
|
|
|
|
Editor& Context::editor() const
|
|
|
|
{
|
|
|
|
if (not has_editor())
|
|
|
|
throw runtime_error("no editor in context");
|
|
|
|
return *m_editor.get();
|
|
|
|
}
|
|
|
|
|
|
|
|
Window& Context::window() const
|
|
|
|
{
|
|
|
|
if (not has_window())
|
|
|
|
throw runtime_error("no window in context");
|
|
|
|
return *dynamic_cast<Window*>(m_editor.get());
|
|
|
|
}
|
|
|
|
|
|
|
|
bool Context::has_window() const
|
|
|
|
{
|
|
|
|
return (bool)m_editor and dynamic_cast<Window*>(m_editor.get());
|
|
|
|
}
|
|
|
|
|
2013-11-14 22:09:15 +04: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-13 01:47:23 +04:00
|
|
|
Client& Context::client() const
|
2013-04-09 21:39:03 +04:00
|
|
|
{
|
2013-09-13 01:47:23 +04:00
|
|
|
if (not has_client())
|
2013-11-14 22:09:15 +04:00
|
|
|
throw runtime_error("no client in context");
|
2013-09-13 01:47:23 +04:00
|
|
|
return *m_client;
|
2013-04-09 21:39:03 +04:00
|
|
|
}
|
|
|
|
|
|
|
|
UserInterface& Context::ui() const
|
|
|
|
{
|
|
|
|
if (not has_ui())
|
|
|
|
throw runtime_error("no user interface in context");
|
2013-11-14 22:09:15 +04:00
|
|
|
return client().ui();
|
2013-04-09 21:39:03 +04:00
|
|
|
}
|
|
|
|
|
|
|
|
OptionManager& Context::options() const
|
|
|
|
{
|
|
|
|
if (has_window())
|
|
|
|
return window().options();
|
|
|
|
if (has_buffer())
|
|
|
|
return buffer().options();
|
|
|
|
return GlobalOptions::instance();
|
|
|
|
}
|
|
|
|
|
|
|
|
HookManager& Context::hooks() const
|
|
|
|
{
|
|
|
|
if (has_window())
|
|
|
|
return window().hooks();
|
|
|
|
if (has_buffer())
|
|
|
|
return buffer().hooks();
|
|
|
|
return GlobalHooks::instance();
|
|
|
|
}
|
|
|
|
|
2013-10-25 03:01:17 +04:00
|
|
|
KeymapManager& Context::keymaps() const
|
|
|
|
{
|
|
|
|
if (has_window())
|
|
|
|
return window().keymaps();
|
|
|
|
if (has_buffer())
|
|
|
|
return buffer().keymaps();
|
|
|
|
return GlobalKeymaps::instance();
|
|
|
|
}
|
|
|
|
|
2013-11-14 22:09:15 +04:00
|
|
|
void Context::set_client(Client& client)
|
|
|
|
{
|
|
|
|
kak_assert(not has_client());
|
|
|
|
m_client.reset(&client);
|
|
|
|
}
|
|
|
|
|
2013-09-16 22:15:13 +04:00
|
|
|
void Context::print_status(DisplayLine status) const
|
2013-04-09 21:39:03 +04:00
|
|
|
{
|
2013-09-16 22:15:13 +04:00
|
|
|
if (has_client())
|
|
|
|
client().print_status(std::move(status));
|
2013-04-09 21:39:03 +04:00
|
|
|
}
|
|
|
|
|
|
|
|
void Context::push_jump()
|
|
|
|
{
|
2013-12-15 18:25:23 +04:00
|
|
|
const SelectionList& jump = selections();
|
2013-04-09 21:39:03 +04:00
|
|
|
if (m_current_jump != m_jump_list.end())
|
|
|
|
{
|
|
|
|
auto begin = m_current_jump;
|
|
|
|
if (&editor().buffer() != &begin->buffer() or
|
|
|
|
(const SelectionList&)(*begin) != jump)
|
|
|
|
++begin;
|
|
|
|
m_jump_list.erase(begin, m_jump_list.end());
|
|
|
|
}
|
|
|
|
m_jump_list.erase(std::remove(begin(m_jump_list), end(m_jump_list), jump),
|
|
|
|
end(m_jump_list));
|
|
|
|
m_jump_list.push_back({editor().buffer(), jump});
|
|
|
|
m_current_jump = m_jump_list.end();
|
|
|
|
}
|
|
|
|
|
2013-05-27 21:23:59 +04:00
|
|
|
const DynamicSelectionList& Context::jump_forward()
|
2013-04-09 21:39:03 +04:00
|
|
|
{
|
|
|
|
if (m_current_jump != m_jump_list.end() and
|
|
|
|
m_current_jump + 1 != m_jump_list.end())
|
|
|
|
return *++m_current_jump;
|
|
|
|
throw runtime_error("no next jump");
|
|
|
|
}
|
|
|
|
|
2013-05-27 21:23:59 +04:00
|
|
|
const DynamicSelectionList& Context::jump_backward()
|
2013-04-09 21:39:03 +04:00
|
|
|
{
|
2013-10-02 21:48:50 +04:00
|
|
|
if (m_current_jump != m_jump_list.end() and
|
2013-12-15 18:25:23 +04:00
|
|
|
*m_current_jump != selections())
|
2013-10-02 21:48:50 +04:00
|
|
|
{
|
|
|
|
push_jump();
|
|
|
|
return *--m_current_jump;
|
|
|
|
}
|
2013-04-09 21:39:03 +04:00
|
|
|
if (m_current_jump != m_jump_list.begin())
|
|
|
|
{
|
|
|
|
if (m_current_jump == m_jump_list.end())
|
|
|
|
{
|
|
|
|
push_jump();
|
|
|
|
--m_current_jump;
|
|
|
|
}
|
|
|
|
return *--m_current_jump;
|
|
|
|
}
|
|
|
|
throw runtime_error("no previous jump");
|
|
|
|
}
|
|
|
|
|
|
|
|
void Context::forget_jumps_to_buffer(Buffer& buffer)
|
|
|
|
{
|
|
|
|
for (auto it = m_jump_list.begin(); it != m_jump_list.end();)
|
|
|
|
{
|
|
|
|
if (&it->buffer() == &buffer)
|
|
|
|
{
|
|
|
|
if (it < m_current_jump)
|
|
|
|
--m_current_jump;
|
|
|
|
else if (it == m_current_jump)
|
|
|
|
m_current_jump = m_jump_list.end()-1;
|
|
|
|
|
|
|
|
it = m_jump_list.erase(it);
|
|
|
|
}
|
|
|
|
else
|
|
|
|
++it;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
void Context::change_editor(Editor& editor)
|
|
|
|
{
|
|
|
|
m_editor.reset(&editor);
|
|
|
|
if (has_window())
|
|
|
|
{
|
|
|
|
if (has_ui())
|
|
|
|
window().set_dimensions(ui().dimensions());
|
|
|
|
window().hooks().run_hook("WinDisplay", buffer().name(), *this);
|
|
|
|
}
|
2013-11-14 22:09:15 +04:00
|
|
|
if (has_input_handler())
|
|
|
|
input_handler().reset_normal_mode();
|
2013-04-09 21:39:03 +04:00
|
|
|
}
|
|
|
|
|
2013-12-15 18:25:23 +04:00
|
|
|
SelectionList& Context::selections()
|
|
|
|
{
|
|
|
|
return editor().selections();
|
|
|
|
}
|
|
|
|
|
|
|
|
const SelectionList& Context::selections() const
|
|
|
|
{
|
|
|
|
return editor().selections();
|
|
|
|
}
|
|
|
|
|
2013-04-09 21:39:03 +04:00
|
|
|
}
|