2013-04-09 19:39:03 +02:00
|
|
|
#include "context.hh"
|
|
|
|
|
|
|
|
#include "input_handler.hh"
|
|
|
|
#include "user_interface.hh"
|
|
|
|
#include "window.hh"
|
|
|
|
|
|
|
|
namespace Kakoune
|
|
|
|
{
|
|
|
|
|
|
|
|
Context::Context() = default;
|
|
|
|
|
|
|
|
Context::Context(Editor& editor)
|
|
|
|
: m_editor(&editor) {}
|
|
|
|
|
2013-09-12 23:39:34 +02:00
|
|
|
Context::Context(InputHandler& input_handler, Editor& editor)
|
|
|
|
: m_input_handler(&input_handler), m_editor(&editor) {}
|
2013-04-09 19:39:03 +02: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());
|
|
|
|
}
|
|
|
|
|
|
|
|
InputHandler& Context::input_handler() const
|
|
|
|
{
|
|
|
|
if (not has_input_handler())
|
|
|
|
throw runtime_error("no input handler in context");
|
|
|
|
return *m_input_handler;
|
|
|
|
}
|
|
|
|
|
|
|
|
UserInterface& Context::ui() const
|
|
|
|
{
|
|
|
|
if (not has_ui())
|
|
|
|
throw runtime_error("no user interface in context");
|
2013-09-12 23:39:34 +02:00
|
|
|
return m_input_handler->ui();
|
2013-04-09 19:39:03 +02: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();
|
|
|
|
}
|
|
|
|
|
|
|
|
void Context::print_status(const DisplayLine& status) const
|
|
|
|
{
|
|
|
|
if (has_ui())
|
|
|
|
ui().print_status(status);
|
|
|
|
}
|
|
|
|
|
|
|
|
void Context::push_jump()
|
|
|
|
{
|
|
|
|
const SelectionList& jump = editor().selections();
|
|
|
|
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 19:23:59 +02:00
|
|
|
const DynamicSelectionList& Context::jump_forward()
|
2013-04-09 19:39:03 +02: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 19:23:59 +02:00
|
|
|
const DynamicSelectionList& Context::jump_backward()
|
2013-04-09 19:39:03 +02: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);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
}
|