2012-01-31 20:12:06 +01:00
|
|
|
#include "editor.hh"
|
|
|
|
|
|
|
|
#include "exception.hh"
|
|
|
|
#include "utils.hh"
|
2012-02-10 00:47:55 +01:00
|
|
|
#include "register.hh"
|
|
|
|
#include "register_manager.hh"
|
2012-01-31 20:12:06 +01:00
|
|
|
|
2012-10-08 14:27:43 +02:00
|
|
|
#include "utf8_iterator.hh"
|
|
|
|
|
2012-02-10 14:58:29 +01:00
|
|
|
#include <array>
|
|
|
|
|
2012-01-31 20:12:06 +01:00
|
|
|
namespace Kakoune
|
|
|
|
{
|
|
|
|
|
|
|
|
Editor::Editor(Buffer& buffer)
|
2012-11-04 23:39:25 +01:00
|
|
|
: m_buffer(&buffer),
|
2012-12-11 19:51:59 +01:00
|
|
|
m_edition_level(0),
|
|
|
|
m_selections(buffer)
|
2012-01-31 20:12:06 +01:00
|
|
|
{
|
2012-09-24 20:47:06 +02:00
|
|
|
m_selections.push_back(Selection(buffer.begin(), buffer.begin()));
|
2013-03-15 18:48:59 +01:00
|
|
|
m_main_sel = 0;
|
2012-01-31 20:12:06 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
void Editor::erase()
|
|
|
|
{
|
2012-02-08 00:41:10 +01:00
|
|
|
scoped_edition edition(*this);
|
2012-09-24 20:47:06 +02:00
|
|
|
for (auto& sel : m_selections)
|
2012-08-15 18:20:02 +02:00
|
|
|
{
|
2012-11-04 23:39:25 +01:00
|
|
|
m_buffer->erase(sel.begin(), sel.end());
|
2012-11-30 18:32:49 +01:00
|
|
|
sel.avoid_eol();
|
2012-08-15 18:20:02 +02:00
|
|
|
}
|
2012-01-31 20:12:06 +01:00
|
|
|
}
|
|
|
|
|
2012-10-09 19:36:03 +02:00
|
|
|
static BufferIterator prepare_insert(Buffer& buffer, const Selection& sel,
|
|
|
|
InsertMode mode)
|
|
|
|
{
|
|
|
|
switch (mode)
|
|
|
|
{
|
|
|
|
case InsertMode::Insert:
|
|
|
|
return sel.begin();
|
2013-01-23 18:58:43 +01:00
|
|
|
case InsertMode::Replace:
|
|
|
|
{
|
|
|
|
BufferIterator pos = sel.begin();
|
|
|
|
buffer.erase(sel.begin(), sel.end());
|
|
|
|
return pos;
|
|
|
|
}
|
2012-10-09 19:36:03 +02:00
|
|
|
case InsertMode::Append:
|
2012-11-26 19:23:50 +01:00
|
|
|
{
|
|
|
|
// special case for end of lines, append to current line instead
|
|
|
|
auto pos = std::max(sel.first(), sel.last());
|
|
|
|
if (pos.column() == buffer.line_length(pos.line()) - 1)
|
|
|
|
return pos;
|
|
|
|
else
|
2013-04-03 18:52:49 +02:00
|
|
|
return utf8::next(pos);
|
2012-11-26 19:23:50 +01:00
|
|
|
}
|
2012-10-09 19:36:03 +02:00
|
|
|
case InsertMode::InsertAtLineBegin:
|
|
|
|
return buffer.iterator_at_line_begin(sel.begin());
|
|
|
|
case InsertMode::AppendAtLineEnd:
|
2012-11-26 19:23:50 +01:00
|
|
|
return buffer.iterator_at_line_end(sel.end()-1)-1;
|
|
|
|
case InsertMode::InsertAtNextLineBegin:
|
2012-10-09 19:36:03 +02:00
|
|
|
return buffer.iterator_at_line_end(sel.end()-1);
|
|
|
|
case InsertMode::OpenLineBelow:
|
|
|
|
{
|
2012-11-26 19:24:38 +01:00
|
|
|
LineCount line = (sel.end() - 1).line();
|
|
|
|
buffer.insert(buffer.iterator_at_line_end(line), "\n");
|
|
|
|
return buffer.iterator_at_line_begin(line + 1);
|
2012-10-09 19:36:03 +02:00
|
|
|
}
|
|
|
|
case InsertMode::OpenLineAbove:
|
|
|
|
{
|
|
|
|
auto pos = buffer.iterator_at_line_begin(sel.begin());
|
|
|
|
buffer.insert(pos, "\n");
|
|
|
|
return pos;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
assert(false);
|
|
|
|
return BufferIterator{};
|
|
|
|
}
|
|
|
|
|
2013-02-26 14:06:25 +01:00
|
|
|
void Editor::insert(const String& str, InsertMode mode)
|
2012-02-10 00:47:55 +01:00
|
|
|
{
|
2012-10-09 19:25:20 +02:00
|
|
|
scoped_edition edition(*this);
|
2012-12-27 18:54:52 +01:00
|
|
|
|
2012-10-09 19:25:20 +02:00
|
|
|
for (auto& sel : m_selections)
|
2012-02-10 00:47:55 +01:00
|
|
|
{
|
2012-11-30 18:32:49 +01:00
|
|
|
BufferIterator pos = prepare_insert(*m_buffer, sel, mode);
|
2013-02-26 14:06:25 +01:00
|
|
|
m_buffer->insert(pos, str);
|
2013-03-13 14:26:20 +01:00
|
|
|
if (mode == InsertMode::Replace and not pos.is_end())
|
2012-12-27 18:54:52 +01:00
|
|
|
{
|
|
|
|
sel.first() = pos;
|
2013-02-26 14:06:25 +01:00
|
|
|
sel.last() = str.empty() ? pos : utf8::character_start(pos + str.length() - 1);
|
2012-12-27 18:54:52 +01:00
|
|
|
}
|
2012-11-30 18:32:49 +01:00
|
|
|
sel.avoid_eol();
|
2012-02-10 00:47:55 +01:00
|
|
|
}
|
2013-04-03 19:22:12 +02:00
|
|
|
check_invariant();
|
2012-02-10 00:47:55 +01:00
|
|
|
}
|
|
|
|
|
2012-10-09 19:25:20 +02:00
|
|
|
void Editor::insert(const memoryview<String>& strings, InsertMode mode)
|
2012-02-10 00:47:55 +01:00
|
|
|
{
|
2012-10-09 19:25:20 +02:00
|
|
|
scoped_edition edition(*this);
|
2012-02-10 00:47:55 +01:00
|
|
|
if (strings.empty())
|
|
|
|
return;
|
|
|
|
|
2012-10-09 19:25:20 +02:00
|
|
|
for (size_t i = 0; i < selections().size(); ++i)
|
2012-02-10 00:47:55 +01:00
|
|
|
{
|
2012-12-12 14:21:50 +01:00
|
|
|
auto& sel = m_selections[i];
|
2012-11-23 19:13:47 +01:00
|
|
|
BufferIterator pos = prepare_insert(*m_buffer, sel, mode);
|
2012-12-27 18:54:52 +01:00
|
|
|
const String& str = strings[std::min(i, strings.size()-1)];
|
|
|
|
m_buffer->insert(pos, str);
|
2013-03-13 14:26:20 +01:00
|
|
|
if (mode == InsertMode::Replace and not pos.is_end())
|
2012-12-27 18:54:52 +01:00
|
|
|
{
|
|
|
|
sel.first() = pos;
|
2013-02-26 14:06:25 +01:00
|
|
|
sel.last() = str.empty() ? pos : utf8::character_start(pos + str.length() - 1);
|
2012-12-27 18:54:52 +01:00
|
|
|
}
|
2012-11-23 19:13:47 +01:00
|
|
|
sel.avoid_eol();
|
2012-02-10 00:47:55 +01:00
|
|
|
}
|
2013-04-03 19:22:12 +02:00
|
|
|
check_invariant();
|
2012-02-10 00:47:55 +01:00
|
|
|
}
|
|
|
|
|
2012-03-08 22:23:29 +01:00
|
|
|
std::vector<String> Editor::selections_content() const
|
2012-02-10 00:47:55 +01:00
|
|
|
{
|
|
|
|
std::vector<String> contents;
|
2012-09-24 20:47:06 +02:00
|
|
|
for (auto& sel : m_selections)
|
2013-02-27 19:11:25 +01:00
|
|
|
contents.push_back(sel.content());
|
2012-02-10 00:47:55 +01:00
|
|
|
return contents;
|
|
|
|
}
|
|
|
|
|
2013-01-02 14:25:28 +01:00
|
|
|
static bool compare_selections(const Selection& lhs, const Selection& rhs)
|
|
|
|
{
|
|
|
|
return lhs.begin() < rhs.begin();
|
|
|
|
}
|
|
|
|
|
2013-03-15 18:48:59 +01:00
|
|
|
static void sort_and_merge_overlapping(SelectionList& selections, size_t& main_selection)
|
2012-10-10 19:11:24 +02:00
|
|
|
{
|
2013-01-02 14:25:28 +01:00
|
|
|
if (selections.size() == 1)
|
|
|
|
return;
|
|
|
|
|
2013-03-15 18:48:59 +01:00
|
|
|
const auto& main = selections[main_selection];
|
|
|
|
const auto main_begin = main.begin();
|
|
|
|
main_selection = std::count_if(selections.begin(), selections.end(),
|
|
|
|
[&](const Selection& sel) {
|
|
|
|
auto begin = sel.begin();
|
|
|
|
if (begin == main_begin)
|
|
|
|
return &sel < &main;
|
|
|
|
else
|
|
|
|
return sel.begin() < main_begin;
|
|
|
|
});
|
2013-01-17 18:46:45 +01:00
|
|
|
std::stable_sort(selections.begin(), selections.end(), compare_selections);
|
2013-01-02 14:25:28 +01:00
|
|
|
|
2013-03-15 18:48:59 +01:00
|
|
|
for (size_t i = 0; i+1 < selections.size() and selections.size() > 1;)
|
2012-10-10 19:11:24 +02:00
|
|
|
{
|
2013-03-15 18:48:59 +01:00
|
|
|
if (overlaps(selections[i], selections[i+1]))
|
2012-10-10 19:11:24 +02:00
|
|
|
{
|
2013-03-15 18:48:59 +01:00
|
|
|
selections[i].merge_with(selections[i+1]);
|
|
|
|
selections.erase(selections.begin() + i + 1);
|
|
|
|
if (i + 1 <= main_selection)
|
|
|
|
--main_selection;
|
2012-10-10 19:11:24 +02:00
|
|
|
}
|
2012-12-13 18:45:32 +01:00
|
|
|
else
|
|
|
|
++i;
|
2012-10-10 19:11:24 +02:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2012-10-02 14:10:00 +02:00
|
|
|
void Editor::move_selections(CharCount offset, SelectMode mode)
|
|
|
|
{
|
|
|
|
assert(mode == SelectMode::Replace or mode == SelectMode::Extend);
|
|
|
|
for (auto& sel : m_selections)
|
|
|
|
{
|
|
|
|
auto last = sel.last();
|
2012-10-11 00:41:48 +02:00
|
|
|
auto limit = offset < 0 ? buffer().iterator_at_line_begin(last)
|
|
|
|
: utf8::previous(buffer().iterator_at_line_end(last));
|
|
|
|
last = utf8::advance(last, limit, offset);
|
2013-01-02 13:49:02 +01:00
|
|
|
sel.first() = mode == SelectMode::Extend ? sel.first() : last;
|
|
|
|
sel.last() = last;
|
2012-11-30 18:32:49 +01:00
|
|
|
sel.avoid_eol();
|
2012-10-02 14:10:00 +02:00
|
|
|
}
|
2013-03-15 18:48:59 +01:00
|
|
|
sort_and_merge_overlapping(m_selections, m_main_sel);
|
2012-10-02 14:10:00 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
void Editor::move_selections(LineCount offset, SelectMode mode)
|
2012-01-31 20:12:06 +01:00
|
|
|
{
|
2012-09-07 14:29:29 +02:00
|
|
|
assert(mode == SelectMode::Replace or mode == SelectMode::Extend);
|
2012-09-24 20:47:06 +02:00
|
|
|
for (auto& sel : m_selections)
|
2012-01-31 20:12:06 +01:00
|
|
|
{
|
2012-11-22 18:54:37 +01:00
|
|
|
BufferCoord pos = sel.last().coord();
|
2013-02-26 18:52:49 +01:00
|
|
|
CharCount column = utf8::distance(m_buffer->iterator_at_line_begin(pos.line), sel.last());
|
2012-10-02 14:10:00 +02:00
|
|
|
pos.line += offset;
|
2013-02-26 18:52:49 +01:00
|
|
|
BufferIterator last = utf8::advance(m_buffer->iterator_at_line_begin(pos.line),
|
2013-02-27 21:09:40 +01:00
|
|
|
m_buffer->iterator_at_line_end(pos.line)-1, column);
|
2013-01-02 13:49:02 +01:00
|
|
|
sel.first() = mode == SelectMode::Extend ? sel.first() : last;
|
|
|
|
sel.last() = last;
|
2012-11-30 18:32:49 +01:00
|
|
|
sel.avoid_eol();
|
2012-01-31 20:12:06 +01:00
|
|
|
}
|
2013-03-15 18:48:59 +01:00
|
|
|
sort_and_merge_overlapping(m_selections, m_main_sel);
|
2012-01-31 20:12:06 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
void Editor::clear_selections()
|
|
|
|
{
|
2013-03-15 18:48:59 +01:00
|
|
|
auto& sel = m_selections[m_main_sel];
|
2013-01-03 18:47:02 +01:00
|
|
|
auto& pos = sel.last();
|
2012-01-31 20:12:06 +01:00
|
|
|
|
2012-10-08 14:27:43 +02:00
|
|
|
if (*pos == '\n' and not pos.is_begin() and *utf8::previous(pos) != '\n')
|
|
|
|
pos = utf8::previous(pos);
|
2013-01-03 18:47:02 +01:00
|
|
|
sel.first() = pos;
|
2012-01-31 20:12:06 +01:00
|
|
|
|
2013-03-15 18:48:59 +01:00
|
|
|
m_selections.erase(m_selections.begin(), m_selections.begin() + m_main_sel);
|
|
|
|
m_selections.erase(m_selections.begin() + 1, m_selections.end());
|
|
|
|
m_main_sel = 0;
|
2012-12-31 18:36:28 +01:00
|
|
|
check_invariant();
|
2012-01-31 20:12:06 +01:00
|
|
|
}
|
|
|
|
|
2012-11-19 19:03:56 +01:00
|
|
|
void Editor::flip_selections()
|
|
|
|
{
|
|
|
|
for (auto& sel : m_selections)
|
2012-11-30 18:32:49 +01:00
|
|
|
std::swap(sel.first(), sel.last());
|
2012-12-31 18:36:28 +01:00
|
|
|
check_invariant();
|
2012-11-19 19:03:56 +01:00
|
|
|
}
|
|
|
|
|
2012-01-31 20:12:06 +01:00
|
|
|
void Editor::keep_selection(int index)
|
|
|
|
{
|
2012-09-24 20:47:06 +02:00
|
|
|
if (index < m_selections.size())
|
2013-03-15 18:48:59 +01:00
|
|
|
{
|
|
|
|
size_t real_index = (index + m_main_sel + 1) % m_selections.size();
|
|
|
|
m_selections = SelectionList{ std::move(m_selections[real_index]) };
|
|
|
|
m_main_sel = 0;
|
|
|
|
}
|
2012-12-31 18:36:28 +01:00
|
|
|
check_invariant();
|
2012-01-31 20:12:06 +01:00
|
|
|
}
|
|
|
|
|
2012-05-29 13:15:43 +02:00
|
|
|
void Editor::remove_selection(int index)
|
|
|
|
{
|
2012-09-24 20:47:06 +02:00
|
|
|
if (m_selections.size() > 1 and index < m_selections.size())
|
2013-03-15 18:48:59 +01:00
|
|
|
{
|
|
|
|
size_t real_index = (index + m_main_sel + 1) % m_selections.size();
|
|
|
|
m_selections.erase(m_selections.begin() + real_index);
|
|
|
|
if (real_index <= m_main_sel)
|
|
|
|
--m_main_sel;
|
|
|
|
}
|
2012-12-31 18:36:28 +01:00
|
|
|
check_invariant();
|
2012-05-29 13:15:43 +02:00
|
|
|
}
|
|
|
|
|
2012-12-31 14:06:20 +01:00
|
|
|
void Editor::select(const Selection& selection, SelectMode mode)
|
2012-01-31 20:12:06 +01:00
|
|
|
{
|
2012-12-18 19:12:15 +01:00
|
|
|
if (mode == SelectMode::Replace)
|
2013-03-20 19:05:05 +01:00
|
|
|
{
|
2012-12-31 14:06:20 +01:00
|
|
|
m_selections = SelectionList{ selection };
|
2013-03-20 19:05:05 +01:00
|
|
|
m_main_sel = 0;
|
|
|
|
}
|
2012-12-18 19:12:15 +01:00
|
|
|
else if (mode == SelectMode::Extend)
|
|
|
|
{
|
2013-03-15 18:48:59 +01:00
|
|
|
m_selections[m_main_sel].merge_with(selection);
|
|
|
|
sort_and_merge_overlapping(m_selections, m_main_sel);
|
2012-12-18 19:12:15 +01:00
|
|
|
}
|
|
|
|
else if (mode == SelectMode::Append)
|
2012-12-31 14:06:20 +01:00
|
|
|
{
|
2013-03-15 18:48:59 +01:00
|
|
|
m_main_sel = m_selections.size();
|
2012-12-31 14:06:20 +01:00
|
|
|
m_selections.push_back(selection);
|
2013-03-15 18:48:59 +01:00
|
|
|
sort_and_merge_overlapping(m_selections, m_main_sel);
|
2012-12-31 14:06:20 +01:00
|
|
|
}
|
2013-01-03 14:00:31 +01:00
|
|
|
else
|
|
|
|
assert(false);
|
2012-12-31 18:36:28 +01:00
|
|
|
check_invariant();
|
2012-09-24 20:47:06 +02:00
|
|
|
}
|
|
|
|
|
2012-11-30 18:32:49 +01:00
|
|
|
void Editor::select(SelectionList selections)
|
2012-09-24 20:47:06 +02:00
|
|
|
{
|
|
|
|
if (selections.empty())
|
|
|
|
throw runtime_error("no selections");
|
2012-12-12 14:21:50 +01:00
|
|
|
m_selections = std::move(selections);
|
2013-03-15 18:48:59 +01:00
|
|
|
m_main_sel = m_selections.size() - 1;
|
2012-12-31 18:36:28 +01:00
|
|
|
check_invariant();
|
2012-01-31 20:12:06 +01:00
|
|
|
}
|
|
|
|
|
2012-09-07 14:29:29 +02:00
|
|
|
void Editor::select(const Selector& selector, SelectMode mode)
|
2012-01-31 20:12:06 +01:00
|
|
|
{
|
2012-10-10 13:57:52 +02:00
|
|
|
if (mode == SelectMode::Append)
|
|
|
|
{
|
2013-03-15 18:48:59 +01:00
|
|
|
auto& sel = m_selections[m_main_sel];
|
2013-01-03 18:47:02 +01:00
|
|
|
auto res = selector(sel);
|
2012-11-30 18:32:49 +01:00
|
|
|
if (res.captures().empty())
|
|
|
|
res.captures() = sel.captures();
|
2013-03-15 18:48:59 +01:00
|
|
|
m_main_sel = m_selections.size();
|
2012-10-10 13:57:52 +02:00
|
|
|
m_selections.push_back(res);
|
|
|
|
}
|
2013-03-15 18:20:35 +01:00
|
|
|
else if (mode == SelectMode::ReplaceMain)
|
2013-01-03 14:00:31 +01:00
|
|
|
{
|
2013-03-15 18:48:59 +01:00
|
|
|
auto& sel = m_selections[m_main_sel];
|
2013-01-03 18:47:02 +01:00
|
|
|
auto res = selector(sel);
|
|
|
|
sel.first() = res.first();
|
|
|
|
sel.last() = res.last();
|
|
|
|
if (not res.captures().empty())
|
|
|
|
sel.captures() = std::move(res.captures());
|
2013-01-03 14:00:31 +01:00
|
|
|
}
|
2012-10-10 19:11:24 +02:00
|
|
|
else
|
2012-01-31 20:12:06 +01:00
|
|
|
{
|
2012-10-10 19:11:24 +02:00
|
|
|
for (auto& sel : m_selections)
|
|
|
|
{
|
2013-01-03 18:47:02 +01:00
|
|
|
auto res = selector(sel);
|
2012-10-10 19:11:24 +02:00
|
|
|
if (mode == SelectMode::Extend)
|
2012-11-30 18:32:49 +01:00
|
|
|
sel.merge_with(res);
|
2012-10-10 19:11:24 +02:00
|
|
|
else
|
2013-01-03 18:47:02 +01:00
|
|
|
{
|
|
|
|
sel.first() = res.first();
|
|
|
|
sel.last() = res.last();
|
|
|
|
}
|
2012-11-30 18:32:49 +01:00
|
|
|
if (not res.captures().empty())
|
|
|
|
sel.captures() = std::move(res.captures());
|
2012-10-10 19:11:24 +02:00
|
|
|
}
|
2012-01-31 20:12:06 +01:00
|
|
|
}
|
2013-03-15 18:48:59 +01:00
|
|
|
sort_and_merge_overlapping(m_selections, m_main_sel);
|
2012-12-31 18:36:28 +01:00
|
|
|
check_invariant();
|
2012-01-31 20:12:06 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
struct nothing_selected : public runtime_error
|
|
|
|
{
|
|
|
|
nothing_selected() : runtime_error("nothing was selected") {}
|
|
|
|
};
|
|
|
|
|
|
|
|
void Editor::multi_select(const MultiSelector& selector)
|
|
|
|
{
|
2012-11-30 18:32:49 +01:00
|
|
|
SelectionList new_selections;
|
2012-09-24 20:47:06 +02:00
|
|
|
for (auto& sel : m_selections)
|
2012-01-31 20:12:06 +01:00
|
|
|
{
|
2012-11-30 18:32:49 +01:00
|
|
|
SelectionList res = selector(sel);
|
2013-02-28 18:51:58 +01:00
|
|
|
new_selections.reserve(new_selections.size() + res.size());
|
2012-11-30 18:32:49 +01:00
|
|
|
for (auto& new_sel : res)
|
2012-02-10 00:47:55 +01:00
|
|
|
{
|
2012-09-26 20:43:42 +02:00
|
|
|
// preserve captures when selectors captures nothing.
|
2012-11-30 18:32:49 +01:00
|
|
|
if (new_sel.captures().empty())
|
|
|
|
new_selections.emplace_back(new_sel.first(), new_sel.last(),
|
|
|
|
sel.captures());
|
2012-09-26 20:43:42 +02:00
|
|
|
else
|
2012-11-30 18:32:49 +01:00
|
|
|
new_selections.push_back(std::move(new_sel));
|
2012-02-10 00:47:55 +01:00
|
|
|
}
|
2012-01-31 20:12:06 +01:00
|
|
|
}
|
|
|
|
if (new_selections.empty())
|
|
|
|
throw nothing_selected();
|
2013-03-15 18:48:59 +01:00
|
|
|
m_main_sel = new_selections.size() - 1;
|
|
|
|
sort_and_merge_overlapping(new_selections, m_main_sel);
|
2012-12-12 14:21:50 +01:00
|
|
|
m_selections = std::move(new_selections);
|
2012-12-31 18:36:28 +01:00
|
|
|
check_invariant();
|
2012-01-31 20:12:06 +01:00
|
|
|
}
|
|
|
|
|
2012-07-16 21:53:00 +02:00
|
|
|
class LastModifiedRangeListener : public BufferChangeListener
|
|
|
|
{
|
|
|
|
public:
|
|
|
|
LastModifiedRangeListener(Buffer& buffer)
|
|
|
|
: m_buffer(buffer)
|
2013-01-31 18:58:25 +01:00
|
|
|
{ m_buffer.change_listeners().insert(this); }
|
2012-07-16 21:53:00 +02:00
|
|
|
|
|
|
|
~LastModifiedRangeListener()
|
2013-01-31 18:58:25 +01:00
|
|
|
{ m_buffer.change_listeners().erase(this); }
|
2012-07-16 21:53:00 +02:00
|
|
|
|
|
|
|
void on_insert(const BufferIterator& begin, const BufferIterator& end)
|
|
|
|
{
|
2013-01-23 14:25:48 +01:00
|
|
|
assert(begin.is_valid());
|
|
|
|
assert(end.is_valid());
|
2012-07-16 21:53:00 +02:00
|
|
|
m_first = begin;
|
2012-10-08 14:27:43 +02:00
|
|
|
m_last = utf8::previous(end);
|
2012-07-16 21:53:00 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
void on_erase(const BufferIterator& begin, const BufferIterator& end)
|
|
|
|
{
|
2013-01-23 14:25:48 +01:00
|
|
|
assert(begin.is_valid());
|
2012-07-16 21:53:00 +02:00
|
|
|
m_first = begin;
|
|
|
|
if (m_first >= m_buffer.end())
|
2012-10-08 14:27:43 +02:00
|
|
|
m_first = utf8::previous(m_buffer.end());
|
2012-07-16 21:53:00 +02:00
|
|
|
m_last = m_first;
|
|
|
|
}
|
|
|
|
|
|
|
|
const BufferIterator& first() const { return m_first; }
|
|
|
|
const BufferIterator& last() const { return m_last; }
|
|
|
|
|
|
|
|
private:
|
|
|
|
BufferIterator m_first;
|
|
|
|
BufferIterator m_last;
|
|
|
|
Buffer& m_buffer;
|
|
|
|
};
|
|
|
|
|
2012-01-31 20:12:06 +01:00
|
|
|
bool Editor::undo()
|
|
|
|
{
|
2012-07-16 21:53:00 +02:00
|
|
|
LastModifiedRangeListener listener(buffer());
|
2012-11-04 23:39:25 +01:00
|
|
|
bool res = m_buffer->undo();
|
2012-07-16 21:53:00 +02:00
|
|
|
if (res)
|
2013-03-15 18:48:59 +01:00
|
|
|
{
|
2012-12-12 14:21:50 +01:00
|
|
|
m_selections = SelectionList{ {listener.first(), listener.last()} };
|
2013-03-15 18:48:59 +01:00
|
|
|
m_main_sel = 0;
|
|
|
|
}
|
2012-12-31 18:36:28 +01:00
|
|
|
check_invariant();
|
2012-07-16 21:53:00 +02:00
|
|
|
return res;
|
2012-01-31 20:12:06 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
bool Editor::redo()
|
|
|
|
{
|
2012-07-16 21:53:00 +02:00
|
|
|
LastModifiedRangeListener listener(buffer());
|
2012-11-04 23:39:25 +01:00
|
|
|
bool res = m_buffer->redo();
|
2012-07-16 21:53:00 +02:00
|
|
|
if (res)
|
2013-03-15 18:48:59 +01:00
|
|
|
{
|
2012-12-12 14:21:50 +01:00
|
|
|
m_selections = SelectionList{ {listener.first(), listener.last()} };
|
2013-03-15 18:48:59 +01:00
|
|
|
m_main_sel = 0;
|
|
|
|
}
|
2012-12-31 18:36:28 +01:00
|
|
|
check_invariant();
|
2012-07-16 21:53:00 +02:00
|
|
|
return res;
|
2012-01-31 20:12:06 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
void Editor::check_invariant() const
|
|
|
|
{
|
2013-02-27 19:02:01 +01:00
|
|
|
#ifdef KAK_DEBUG
|
2012-09-24 20:47:06 +02:00
|
|
|
assert(not m_selections.empty());
|
2013-03-15 18:48:59 +01:00
|
|
|
assert(m_main_sel < m_selections.size());
|
2012-12-12 14:21:50 +01:00
|
|
|
m_selections.check_invariant();
|
2013-04-03 19:22:12 +02:00
|
|
|
buffer().check_invariant();
|
2013-03-15 18:48:59 +01:00
|
|
|
assert(std::is_sorted(m_selections.begin(), m_selections.end(), compare_selections));
|
2013-02-27 19:02:01 +01:00
|
|
|
#endif
|
2012-01-31 20:12:06 +01:00
|
|
|
}
|
|
|
|
|
2012-02-08 00:41:10 +01:00
|
|
|
void Editor::begin_edition()
|
2012-01-31 20:12:06 +01:00
|
|
|
{
|
2012-02-08 00:41:10 +01:00
|
|
|
++m_edition_level;
|
2012-01-31 20:12:06 +01:00
|
|
|
}
|
|
|
|
|
2012-02-08 00:41:10 +01:00
|
|
|
void Editor::end_edition()
|
2012-01-31 20:12:06 +01:00
|
|
|
{
|
2012-02-08 00:41:10 +01:00
|
|
|
assert(m_edition_level > 0);
|
|
|
|
if (m_edition_level == 1)
|
2013-02-20 14:20:16 +01:00
|
|
|
m_buffer->commit_undo_group();
|
2012-02-08 00:41:10 +01:00
|
|
|
|
|
|
|
--m_edition_level;
|
2012-01-31 20:12:06 +01:00
|
|
|
}
|
|
|
|
|
2012-10-13 18:31:29 +02:00
|
|
|
using utf8_it = utf8::utf8_iterator<BufferIterator, utf8::InvalidBytePolicy::Pass>;
|
2012-10-08 14:27:43 +02:00
|
|
|
|
2012-09-26 14:22:24 +02:00
|
|
|
IncrementalInserter::IncrementalInserter(Editor& editor, InsertMode mode)
|
2012-07-16 21:21:56 +02:00
|
|
|
: m_editor(editor), m_edition(editor), m_mode(mode)
|
2012-01-31 20:12:06 +01:00
|
|
|
{
|
2012-11-04 23:39:25 +01:00
|
|
|
Buffer& buffer = *editor.m_buffer;
|
2012-01-31 20:12:06 +01:00
|
|
|
|
2012-09-24 20:47:06 +02:00
|
|
|
for (auto& sel : m_editor.m_selections)
|
2012-01-31 20:12:06 +01:00
|
|
|
{
|
2012-10-08 14:27:43 +02:00
|
|
|
utf8_it first, last;
|
2012-01-31 20:12:06 +01:00
|
|
|
switch (mode)
|
|
|
|
{
|
2012-10-09 19:25:20 +02:00
|
|
|
case InsertMode::Insert: first = utf8_it(sel.end()) - 1; last = sel.begin(); break;
|
2013-01-23 18:58:43 +01:00
|
|
|
case InsertMode::Replace:
|
|
|
|
{
|
|
|
|
buffer.erase(sel.begin(), sel.end());
|
|
|
|
first = last = sel.begin();
|
|
|
|
break;
|
|
|
|
}
|
2012-12-28 14:06:56 +01:00
|
|
|
case InsertMode::Append:
|
|
|
|
{
|
|
|
|
first = sel.begin();
|
|
|
|
last = std::max(sel.first(), sel.last());
|
|
|
|
// special case for end of lines, append to current line instead
|
|
|
|
auto coord = last.underlying_iterator().coord();
|
|
|
|
if (coord.column != buffer.line_length(coord.line) - 1)
|
|
|
|
++last;
|
|
|
|
break;
|
|
|
|
}
|
2012-01-31 20:12:06 +01:00
|
|
|
|
2012-09-26 14:22:24 +02:00
|
|
|
case InsertMode::OpenLineBelow:
|
|
|
|
case InsertMode::AppendAtLineEnd:
|
2012-10-08 14:27:43 +02:00
|
|
|
first = utf8_it(buffer.iterator_at_line_end(utf8::previous(sel.end()))) - 1;
|
2012-07-16 21:21:56 +02:00
|
|
|
last = first;
|
2012-01-31 20:12:06 +01:00
|
|
|
break;
|
|
|
|
|
2012-09-26 14:22:24 +02:00
|
|
|
case InsertMode::OpenLineAbove:
|
|
|
|
case InsertMode::InsertAtLineBegin:
|
2012-10-08 14:27:43 +02:00
|
|
|
first = buffer.iterator_at_line_begin(sel.begin());
|
2012-09-26 14:22:24 +02:00
|
|
|
if (mode == InsertMode::OpenLineAbove)
|
2012-07-16 21:21:56 +02:00
|
|
|
--first;
|
2012-03-07 20:19:33 +01:00
|
|
|
else
|
|
|
|
{
|
2012-07-16 21:21:56 +02:00
|
|
|
auto first_non_blank = first;
|
2012-03-07 20:19:33 +01:00
|
|
|
while (*first_non_blank == ' ' or *first_non_blank == '\t')
|
|
|
|
++first_non_blank;
|
|
|
|
if (*first_non_blank != '\n')
|
2012-07-16 21:21:56 +02:00
|
|
|
first = first_non_blank;
|
2012-03-07 20:19:33 +01:00
|
|
|
}
|
2012-07-16 21:21:56 +02:00
|
|
|
last = first;
|
2012-01-31 20:12:06 +01:00
|
|
|
break;
|
2013-02-07 13:37:22 +01:00
|
|
|
case InsertMode::InsertAtNextLineBegin:
|
|
|
|
assert(false); // not implemented
|
|
|
|
break;
|
2012-01-31 20:12:06 +01:00
|
|
|
}
|
2012-10-08 14:27:43 +02:00
|
|
|
if (first.underlying_iterator().is_end())
|
2012-09-10 19:26:17 +02:00
|
|
|
--first;
|
2012-10-08 14:27:43 +02:00
|
|
|
if (last.underlying_iterator().is_end())
|
2012-09-10 19:26:17 +02:00
|
|
|
--last;
|
2012-12-27 19:11:42 +01:00
|
|
|
sel.first() = first.underlying_iterator();
|
|
|
|
sel.last() = last.underlying_iterator();
|
2012-01-31 20:12:06 +01:00
|
|
|
}
|
2012-09-26 14:22:24 +02:00
|
|
|
if (mode == InsertMode::OpenLineBelow or mode == InsertMode::OpenLineAbove)
|
2012-09-03 23:46:04 +02:00
|
|
|
{
|
2012-08-10 19:12:43 +02:00
|
|
|
insert("\n");
|
2012-09-26 14:22:24 +02:00
|
|
|
if (mode == InsertMode::OpenLineAbove)
|
2012-09-03 23:46:04 +02:00
|
|
|
{
|
2012-09-24 20:47:06 +02:00
|
|
|
for (auto& sel : m_editor.m_selections)
|
2012-09-03 23:46:04 +02:00
|
|
|
{
|
|
|
|
// special case, the --first line above did nothing, so we need to compensate now
|
2012-10-08 14:27:43 +02:00
|
|
|
if (sel.first() == utf8::next(buffer.begin()))
|
2012-12-27 19:11:42 +01:00
|
|
|
sel.first() = sel.last() = buffer.begin();
|
2012-09-03 23:46:04 +02:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
2013-03-15 18:48:59 +01:00
|
|
|
sort_and_merge_overlapping(editor.m_selections, editor.m_main_sel);
|
2012-12-31 18:36:28 +01:00
|
|
|
editor.check_invariant();
|
2012-01-31 20:12:06 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
IncrementalInserter::~IncrementalInserter()
|
|
|
|
{
|
2012-09-24 20:47:06 +02:00
|
|
|
for (auto& sel : m_editor.m_selections)
|
2012-08-27 14:26:16 +02:00
|
|
|
{
|
2012-12-28 14:06:56 +01:00
|
|
|
if (m_mode == InsertMode::Append and sel.last().column() > 0)
|
|
|
|
sel.last() = utf8::previous(sel.last());
|
2013-01-04 18:39:13 +01:00
|
|
|
sel.avoid_eol();
|
2012-08-27 14:26:16 +02:00
|
|
|
}
|
2012-01-31 20:12:06 +01:00
|
|
|
}
|
|
|
|
|
2012-11-19 13:40:23 +01:00
|
|
|
void IncrementalInserter::insert(String content)
|
2012-01-31 20:12:06 +01:00
|
|
|
{
|
2012-08-10 19:12:43 +02:00
|
|
|
Buffer& buffer = m_editor.buffer();
|
2012-09-24 20:47:06 +02:00
|
|
|
for (auto& sel : m_editor.m_selections)
|
2012-08-10 19:12:43 +02:00
|
|
|
{
|
2012-11-30 18:32:49 +01:00
|
|
|
m_editor.filters()(buffer, sel, content);
|
2012-11-19 13:40:23 +01:00
|
|
|
buffer.insert(sel.last(), content);
|
2012-08-10 19:12:43 +02:00
|
|
|
}
|
2012-01-31 20:12:06 +01:00
|
|
|
}
|
|
|
|
|
2012-06-29 18:35:48 +02:00
|
|
|
void IncrementalInserter::insert(const memoryview<String>& strings)
|
2012-01-31 20:12:06 +01:00
|
|
|
{
|
2012-11-12 13:40:07 +01:00
|
|
|
for (size_t i = 0; i < m_editor.m_selections.size(); ++i)
|
|
|
|
{
|
|
|
|
size_t index = std::min(i, strings.size()-1);
|
|
|
|
m_editor.buffer().insert(m_editor.m_selections[i].last(),
|
|
|
|
strings[index]);
|
|
|
|
}
|
2012-01-31 20:12:06 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
void IncrementalInserter::erase()
|
|
|
|
{
|
2012-09-24 20:47:06 +02:00
|
|
|
for (auto& sel : m_editor.m_selections)
|
2012-01-31 20:12:06 +01:00
|
|
|
{
|
2012-07-16 21:21:56 +02:00
|
|
|
BufferIterator pos = sel.last();
|
2012-10-08 14:27:43 +02:00
|
|
|
m_editor.buffer().erase(utf8::previous(pos), pos);
|
2012-01-31 20:12:06 +01:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2012-11-26 19:38:07 +01:00
|
|
|
void IncrementalInserter::move_cursors(CharCount move)
|
2012-01-31 20:12:06 +01:00
|
|
|
{
|
2012-11-26 19:38:07 +01:00
|
|
|
m_editor.move_selections(move, SelectMode::Replace);
|
|
|
|
}
|
|
|
|
|
|
|
|
void IncrementalInserter::move_cursors(LineCount move)
|
|
|
|
{
|
|
|
|
m_editor.move_selections(move, SelectMode::Replace);
|
2012-01-31 20:12:06 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
}
|