2011-09-02 18:51:20 +02:00
|
|
|
#include "buffer.hh"
|
2011-09-08 02:11:48 +02:00
|
|
|
|
|
|
|
#include "buffer_manager.hh"
|
2011-09-08 02:13:19 +02:00
|
|
|
#include "window.hh"
|
2011-09-09 21:24:18 +02:00
|
|
|
#include "assert.hh"
|
2011-09-17 16:13:33 +02:00
|
|
|
#include "utils.hh"
|
2012-01-23 14:56:43 +01:00
|
|
|
#include "context.hh"
|
2012-10-08 19:25:17 +02:00
|
|
|
#include "utf8.hh"
|
2011-09-08 02:11:48 +02:00
|
|
|
|
2012-03-06 15:27:03 +01:00
|
|
|
#include <algorithm>
|
|
|
|
|
2011-09-02 18:51:20 +02:00
|
|
|
namespace Kakoune
|
|
|
|
{
|
|
|
|
|
2012-11-20 19:47:56 +01:00
|
|
|
Buffer::Buffer(String name, Flags flags,
|
2012-06-29 13:19:29 +02:00
|
|
|
String initial_content)
|
2012-11-20 19:47:56 +01:00
|
|
|
: m_name(std::move(name)), m_flags(flags),
|
2011-10-07 16:15:55 +02:00
|
|
|
m_history(1), m_history_cursor(m_history.begin()),
|
2012-04-03 15:39:20 +02:00
|
|
|
m_last_save_undo_index(0),
|
2012-08-15 17:07:53 +02:00
|
|
|
m_timestamp(0),
|
2012-06-07 15:29:44 +02:00
|
|
|
m_hook_manager(GlobalHookManager::instance()),
|
2012-04-03 15:39:20 +02:00
|
|
|
m_option_manager(GlobalOptionManager::instance())
|
2011-09-02 18:51:20 +02:00
|
|
|
{
|
2012-08-08 19:36:40 +02:00
|
|
|
BufferManager::instance().register_buffer(*this);
|
2012-08-14 14:13:10 +02:00
|
|
|
if (initial_content.back() != '\n')
|
|
|
|
initial_content += '\n';
|
|
|
|
do_insert(begin(), std::move(initial_content));
|
|
|
|
|
2011-09-08 02:11:48 +02:00
|
|
|
|
2012-08-05 20:12:43 +02:00
|
|
|
Editor editor_for_hooks(*this);
|
|
|
|
Context context(editor_for_hooks);
|
2012-11-20 19:47:56 +01:00
|
|
|
if (flags & Flags::File and flags & Flags::New)
|
2012-08-05 20:12:43 +02:00
|
|
|
m_hook_manager.run_hook("BufNew", m_name, context);
|
2012-11-20 19:47:56 +01:00
|
|
|
else
|
2012-08-05 20:12:43 +02:00
|
|
|
m_hook_manager.run_hook("BufOpen", m_name, context);
|
2012-06-12 20:27:57 +02:00
|
|
|
|
2012-08-05 20:12:43 +02:00
|
|
|
m_hook_manager.run_hook("BufCreate", m_name, context);
|
2012-09-11 19:03:37 +02:00
|
|
|
|
|
|
|
reset_undo_data();
|
2011-09-02 18:51:20 +02:00
|
|
|
}
|
|
|
|
|
2011-10-24 16:23:13 +02:00
|
|
|
Buffer::~Buffer()
|
|
|
|
{
|
2012-08-05 20:12:43 +02:00
|
|
|
m_hook_manager.run_hook("BufClose", m_name, Context(Editor(*this)));
|
|
|
|
|
2011-10-24 16:23:13 +02:00
|
|
|
m_windows.clear();
|
2012-08-08 19:36:40 +02:00
|
|
|
BufferManager::instance().unregister_buffer(*this);
|
2012-07-16 21:51:37 +02:00
|
|
|
assert(m_change_listeners.empty());
|
2011-10-24 16:23:13 +02:00
|
|
|
}
|
|
|
|
|
2012-08-15 18:06:59 +02:00
|
|
|
BufferIterator Buffer::iterator_at(const BufferCoord& line_and_column,
|
|
|
|
bool avoid_eol) const
|
2011-09-02 18:51:20 +02:00
|
|
|
{
|
2012-08-15 18:06:59 +02:00
|
|
|
return BufferIterator(*this, clamp(line_and_column, avoid_eol));
|
2011-09-02 18:51:20 +02:00
|
|
|
}
|
|
|
|
|
2011-09-05 21:06:31 +02:00
|
|
|
BufferCoord Buffer::line_and_column_at(const BufferIterator& iterator) const
|
2011-09-02 18:51:20 +02:00
|
|
|
{
|
2012-03-30 13:37:18 +02:00
|
|
|
return iterator.m_coord;
|
2011-09-02 18:51:20 +02:00
|
|
|
}
|
|
|
|
|
2012-10-11 00:41:48 +02:00
|
|
|
ByteCount Buffer::line_length(LineCount line) const
|
2011-09-02 18:51:20 +02:00
|
|
|
{
|
2012-03-30 13:37:18 +02:00
|
|
|
assert(line < line_count());
|
2012-10-11 00:41:48 +02:00
|
|
|
ByteCount end = (line < line_count() - 1) ?
|
2012-06-25 19:05:32 +02:00
|
|
|
m_lines[line + 1].start : character_count();
|
2012-03-30 13:37:18 +02:00
|
|
|
return end - m_lines[line].start;
|
2011-09-02 18:51:20 +02:00
|
|
|
}
|
|
|
|
|
2012-08-15 18:06:59 +02:00
|
|
|
BufferCoord Buffer::clamp(const BufferCoord& line_and_column,
|
|
|
|
bool avoid_eol) const
|
2011-09-02 18:51:20 +02:00
|
|
|
{
|
|
|
|
if (m_lines.empty())
|
2011-09-05 21:06:31 +02:00
|
|
|
return BufferCoord();
|
2011-09-02 18:51:20 +02:00
|
|
|
|
2011-09-05 21:06:31 +02:00
|
|
|
BufferCoord result(line_and_column.line, line_and_column.column);
|
2012-10-02 14:08:09 +02:00
|
|
|
result.line = Kakoune::clamp(result.line, 0_line, line_count() - 1);
|
2012-10-11 00:41:48 +02:00
|
|
|
ByteCount max_col = std::max(0_byte, line_length(result.line) - (avoid_eol ? 2 : 1));
|
|
|
|
result.column = Kakoune::clamp(result.column, 0_byte, max_col);
|
2011-09-02 18:51:20 +02:00
|
|
|
return result;
|
|
|
|
}
|
|
|
|
|
2011-11-28 20:31:29 +01:00
|
|
|
BufferIterator Buffer::iterator_at_line_begin(const BufferIterator& iterator) const
|
|
|
|
{
|
2012-03-30 13:37:18 +02:00
|
|
|
return BufferIterator(*this, { iterator.line(), 0 });
|
2011-11-28 20:31:29 +01:00
|
|
|
}
|
|
|
|
|
2012-08-22 23:33:52 +02:00
|
|
|
BufferIterator Buffer::iterator_at_line_begin(LineCount line) const
|
2012-08-21 20:52:49 +02:00
|
|
|
{
|
2012-10-31 14:28:03 +01:00
|
|
|
line = Kakoune::clamp(line, 0_line, line_count()-1);
|
|
|
|
assert(line_length(line) > 0);
|
|
|
|
return BufferIterator(*this, { line, 0 });
|
2012-08-21 20:52:49 +02:00
|
|
|
}
|
|
|
|
|
2011-11-28 20:31:29 +01:00
|
|
|
BufferIterator Buffer::iterator_at_line_end(const BufferIterator& iterator) const
|
|
|
|
{
|
2012-08-22 23:33:52 +02:00
|
|
|
LineCount line = iterator.line();
|
2012-08-15 17:55:58 +02:00
|
|
|
assert(line_length(line) > 0);
|
|
|
|
return ++BufferIterator(*this, { line, line_length(line) - 1 });
|
2011-11-28 20:31:29 +01:00
|
|
|
}
|
|
|
|
|
2012-08-22 23:33:52 +02:00
|
|
|
BufferIterator Buffer::iterator_at_line_end(LineCount line) const
|
2012-08-21 20:52:49 +02:00
|
|
|
{
|
2012-10-31 14:28:03 +01:00
|
|
|
line = Kakoune::clamp(line, 0_line, line_count()-1);
|
2012-08-21 20:52:49 +02:00
|
|
|
assert(line_length(line) > 0);
|
2012-08-22 23:33:52 +02:00
|
|
|
return ++BufferIterator(*this, { line, line_length(line) - 1 });
|
2012-08-21 20:52:49 +02:00
|
|
|
}
|
|
|
|
|
2011-09-02 18:51:20 +02:00
|
|
|
BufferIterator Buffer::begin() const
|
|
|
|
{
|
2012-08-22 23:33:52 +02:00
|
|
|
return BufferIterator(*this, { 0_line, 0 });
|
2011-09-02 18:51:20 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
BufferIterator Buffer::end() const
|
|
|
|
{
|
2012-03-30 13:37:18 +02:00
|
|
|
if (m_lines.empty())
|
2012-08-22 23:33:52 +02:00
|
|
|
return BufferIterator(*this, { 0_line, 0 });
|
2012-08-23 23:56:35 +02:00
|
|
|
return BufferIterator(*this, { line_count()-1, m_lines.back().length() });
|
2011-09-02 18:51:20 +02:00
|
|
|
}
|
|
|
|
|
2012-10-11 00:41:48 +02:00
|
|
|
ByteCount Buffer::character_count() const
|
2011-09-02 18:51:20 +02:00
|
|
|
{
|
2012-03-30 13:37:18 +02:00
|
|
|
if (m_lines.empty())
|
|
|
|
return 0;
|
2012-03-30 14:00:40 +02:00
|
|
|
return m_lines.back().start + m_lines.back().length();
|
2011-09-02 18:51:20 +02:00
|
|
|
}
|
|
|
|
|
2012-08-22 23:33:52 +02:00
|
|
|
LineCount Buffer::line_count() const
|
2011-09-22 15:58:35 +02:00
|
|
|
{
|
2012-08-22 23:33:52 +02:00
|
|
|
return LineCount(m_lines.size());
|
2011-09-22 15:58:35 +02:00
|
|
|
}
|
|
|
|
|
2012-03-08 22:23:29 +01:00
|
|
|
String Buffer::string(const BufferIterator& begin, const BufferIterator& end) const
|
2011-09-02 18:51:20 +02:00
|
|
|
{
|
2012-03-30 13:37:18 +02:00
|
|
|
String res;
|
2012-08-22 23:33:52 +02:00
|
|
|
for (LineCount line = begin.line(); line <= end.line(); ++line)
|
2012-03-30 13:37:18 +02:00
|
|
|
{
|
2012-10-11 00:41:48 +02:00
|
|
|
ByteCount start = 0;
|
2012-03-30 13:37:18 +02:00
|
|
|
if (line == begin.line())
|
|
|
|
start = begin.column();
|
2012-10-11 00:41:48 +02:00
|
|
|
ByteCount count = -1;
|
2012-03-30 13:37:18 +02:00
|
|
|
if (line == end.line())
|
|
|
|
count = end.column() - start;
|
|
|
|
res += m_lines[line].content.substr(start, count);
|
|
|
|
}
|
|
|
|
return res;
|
2011-09-02 18:51:20 +02:00
|
|
|
}
|
|
|
|
|
2011-09-06 20:49:32 +02:00
|
|
|
void Buffer::begin_undo_group()
|
|
|
|
{
|
|
|
|
assert(m_current_undo_group.empty());
|
|
|
|
m_history.erase(m_history_cursor, m_history.end());
|
2011-11-03 14:44:02 +01:00
|
|
|
|
|
|
|
if (m_history.size() < m_last_save_undo_index)
|
|
|
|
m_last_save_undo_index = -1;
|
|
|
|
|
2011-09-06 20:49:32 +02:00
|
|
|
m_history_cursor = m_history.end();
|
|
|
|
}
|
|
|
|
|
|
|
|
void Buffer::end_undo_group()
|
|
|
|
{
|
2012-06-04 16:12:37 +02:00
|
|
|
if (m_current_undo_group.empty())
|
|
|
|
return;
|
|
|
|
|
2012-06-28 14:26:01 +02:00
|
|
|
m_history.push_back(std::move(m_current_undo_group));
|
2011-09-06 20:49:32 +02:00
|
|
|
m_history_cursor = m_history.end();
|
|
|
|
|
|
|
|
m_current_undo_group.clear();
|
|
|
|
}
|
|
|
|
|
2012-08-10 19:12:43 +02:00
|
|
|
// A Modification holds a single atomic modification to Buffer
|
|
|
|
struct Buffer::Modification
|
2011-09-06 20:49:32 +02:00
|
|
|
{
|
2012-08-10 19:12:43 +02:00
|
|
|
enum Type { Insert, Erase };
|
|
|
|
|
|
|
|
Type type;
|
|
|
|
BufferIterator position;
|
|
|
|
String content;
|
|
|
|
|
|
|
|
Modification(Type type, BufferIterator position, String content)
|
|
|
|
: type(type), position(position), content(std::move(content)) {}
|
|
|
|
|
|
|
|
Modification inverse() const
|
2011-09-06 20:49:32 +02:00
|
|
|
{
|
2012-08-10 19:12:43 +02:00
|
|
|
Type inverse_type;
|
|
|
|
switch (type)
|
|
|
|
{
|
|
|
|
case Insert: inverse_type = Erase; break;
|
|
|
|
case Erase: inverse_type = Insert; break;
|
|
|
|
default: assert(false);
|
|
|
|
}
|
|
|
|
return Modification(inverse_type, position, content);
|
2011-09-06 20:49:32 +02:00
|
|
|
}
|
2012-08-10 19:12:43 +02:00
|
|
|
};
|
2011-09-06 20:49:32 +02:00
|
|
|
|
|
|
|
bool Buffer::undo()
|
|
|
|
{
|
|
|
|
if (m_history_cursor == m_history.begin())
|
|
|
|
return false;
|
|
|
|
|
|
|
|
--m_history_cursor;
|
|
|
|
|
2011-12-06 19:58:43 +01:00
|
|
|
for (const Modification& modification : reversed(*m_history_cursor))
|
2011-10-18 02:55:45 +02:00
|
|
|
apply_modification(modification.inverse());
|
2012-06-05 15:33:02 +02:00
|
|
|
return true;
|
2011-09-06 20:49:32 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
bool Buffer::redo()
|
|
|
|
{
|
|
|
|
if (m_history_cursor == m_history.end())
|
|
|
|
return false;
|
|
|
|
|
2011-12-06 19:58:43 +01:00
|
|
|
for (const Modification& modification : *m_history_cursor)
|
2011-10-18 02:55:45 +02:00
|
|
|
apply_modification(modification);
|
2011-09-06 20:49:32 +02:00
|
|
|
|
|
|
|
++m_history_cursor;
|
2012-06-05 15:33:02 +02:00
|
|
|
return true;
|
2011-09-06 20:49:32 +02:00
|
|
|
}
|
|
|
|
|
2012-08-10 14:21:32 +02:00
|
|
|
void Buffer::reset_undo_data()
|
|
|
|
{
|
|
|
|
m_history.clear();
|
|
|
|
m_history_cursor = m_history.end();
|
|
|
|
m_current_undo_group.clear();
|
|
|
|
}
|
|
|
|
|
2012-03-30 13:37:18 +02:00
|
|
|
void Buffer::check_invariant() const
|
|
|
|
{
|
2012-10-11 00:41:48 +02:00
|
|
|
ByteCount start = 0;
|
2012-08-14 14:13:10 +02:00
|
|
|
assert(not m_lines.empty());
|
2012-03-30 13:37:18 +02:00
|
|
|
for (auto& line : m_lines)
|
|
|
|
{
|
|
|
|
assert(line.start == start);
|
2012-04-04 14:25:42 +02:00
|
|
|
assert(line.length() > 0);
|
2012-08-14 14:13:10 +02:00
|
|
|
assert(line.content.back() == '\n');
|
2012-03-30 14:00:40 +02:00
|
|
|
start += line.length();
|
2012-03-30 13:37:18 +02:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2012-08-10 19:12:43 +02:00
|
|
|
void Buffer::do_insert(const BufferIterator& pos, const String& content)
|
2012-02-22 22:54:25 +01:00
|
|
|
{
|
2012-10-08 19:25:17 +02:00
|
|
|
assert(pos.is_end() or utf8::is_character_start(pos));
|
2012-08-15 17:07:53 +02:00
|
|
|
++m_timestamp;
|
2012-10-11 00:41:48 +02:00
|
|
|
ByteCount offset = pos.offset();
|
2012-03-06 15:27:03 +01:00
|
|
|
|
2012-03-30 13:37:18 +02:00
|
|
|
// all following lines advanced by length
|
2012-08-22 23:33:52 +02:00
|
|
|
for (LineCount i = pos.line()+1; i < line_count(); ++i)
|
2012-03-30 13:37:18 +02:00
|
|
|
m_lines[i].start += content.length();
|
2012-02-22 22:54:25 +01:00
|
|
|
|
2012-07-16 21:51:37 +02:00
|
|
|
BufferIterator begin_it;
|
|
|
|
BufferIterator end_it;
|
2012-03-30 13:37:18 +02:00
|
|
|
// if we inserted at the end of the buffer, we may have created a new
|
|
|
|
// line without inserting a '\n'
|
|
|
|
if (pos == end() and (pos == begin() or *(pos-1) == '\n'))
|
2012-02-22 22:54:25 +01:00
|
|
|
{
|
2012-10-11 00:41:48 +02:00
|
|
|
ByteCount start = 0;
|
|
|
|
for (ByteCount i = 0; i < content.length(); ++i)
|
2012-02-22 22:54:25 +01:00
|
|
|
{
|
2012-03-30 13:37:18 +02:00
|
|
|
if (content[i] == '\n')
|
|
|
|
{
|
|
|
|
m_lines.push_back({ offset + start, content.substr(start, i + 1 - start) });
|
|
|
|
start = i + 1;
|
|
|
|
}
|
2012-02-22 22:54:25 +01:00
|
|
|
}
|
2012-03-30 13:37:18 +02:00
|
|
|
if (start != content.length())
|
|
|
|
m_lines.push_back({ offset + start, content.substr(start) });
|
2012-04-04 15:56:19 +02:00
|
|
|
|
2012-08-02 07:04:04 +02:00
|
|
|
begin_it = pos;
|
2012-07-16 21:51:37 +02:00
|
|
|
end_it = end();
|
2012-02-22 22:54:25 +01:00
|
|
|
}
|
2012-03-30 13:37:18 +02:00
|
|
|
else
|
2012-02-22 22:54:25 +01:00
|
|
|
{
|
2012-03-30 13:37:18 +02:00
|
|
|
String prefix = m_lines[pos.line()].content.substr(0, pos.column());
|
|
|
|
String suffix = m_lines[pos.line()].content.substr(pos.column());
|
|
|
|
|
2012-08-22 23:33:52 +02:00
|
|
|
auto line_it = m_lines.begin() + (int)pos.line();
|
2012-03-30 13:37:18 +02:00
|
|
|
line_it = m_lines.erase(line_it);
|
2012-02-22 22:54:25 +01:00
|
|
|
|
2012-10-11 00:41:48 +02:00
|
|
|
ByteCount start = 0;
|
|
|
|
for (ByteCount i = 0; i < content.length(); ++i)
|
2012-02-22 22:54:25 +01:00
|
|
|
{
|
2012-03-30 13:37:18 +02:00
|
|
|
if (content[i] == '\n')
|
|
|
|
{
|
|
|
|
String line_content = content.substr(start, i + 1 - start);
|
|
|
|
if (start == 0)
|
|
|
|
{
|
|
|
|
line_content = prefix + line_content;
|
2012-08-23 23:56:35 +02:00
|
|
|
line_it = m_lines.insert(line_it, { offset + start - prefix.length(),
|
2012-03-30 13:37:18 +02:00
|
|
|
std::move(line_content) });
|
|
|
|
}
|
|
|
|
else
|
|
|
|
line_it = m_lines.insert(line_it, { offset + start,
|
|
|
|
std::move(line_content) });
|
|
|
|
|
|
|
|
++line_it;
|
|
|
|
start = i + 1;
|
|
|
|
}
|
2012-02-22 22:54:25 +01:00
|
|
|
}
|
2012-03-30 13:37:18 +02:00
|
|
|
if (start == 0)
|
2012-08-23 23:56:35 +02:00
|
|
|
line_it = m_lines.insert(line_it, { offset + start - prefix.length(), prefix + content + suffix });
|
2012-08-10 14:22:57 +02:00
|
|
|
else if (start != content.length() or not suffix.empty())
|
2012-04-04 15:56:19 +02:00
|
|
|
line_it = m_lines.insert(line_it, { offset + start, content.substr(start) + suffix });
|
2012-08-10 14:22:57 +02:00
|
|
|
else
|
|
|
|
--line_it;
|
2012-04-04 15:56:19 +02:00
|
|
|
|
2012-07-16 21:51:37 +02:00
|
|
|
begin_it = pos;
|
2012-08-22 23:33:52 +02:00
|
|
|
end_it = BufferIterator(*this, { LineCount(line_it - m_lines.begin()),
|
2012-08-23 23:56:35 +02:00
|
|
|
line_it->length() - suffix.length() });
|
2012-02-22 22:54:25 +01:00
|
|
|
}
|
2012-03-30 13:37:18 +02:00
|
|
|
|
|
|
|
check_invariant();
|
2012-04-04 15:56:19 +02:00
|
|
|
|
2012-07-16 21:51:37 +02:00
|
|
|
for (auto listener : m_change_listeners)
|
|
|
|
listener->on_insert(begin_it, end_it);
|
2012-03-30 13:37:18 +02:00
|
|
|
}
|
|
|
|
|
2012-10-08 19:25:17 +02:00
|
|
|
void Buffer::do_erase(const BufferIterator& begin, const BufferIterator& end)
|
2012-03-30 13:37:18 +02:00
|
|
|
{
|
2012-10-08 19:25:17 +02:00
|
|
|
assert(utf8::is_character_start(begin) and
|
|
|
|
(end.is_end() or utf8::is_character_start(end)));
|
2012-08-15 17:07:53 +02:00
|
|
|
++m_timestamp;
|
2012-10-11 00:41:48 +02:00
|
|
|
const ByteCount length = end - begin;
|
2012-10-08 19:25:17 +02:00
|
|
|
String prefix = m_lines[begin.line()].content.substr(0, begin.column());
|
2012-03-30 13:37:18 +02:00
|
|
|
String suffix = m_lines[end.line()].content.substr(end.column());
|
2012-10-08 19:25:17 +02:00
|
|
|
Line new_line = { m_lines[begin.line()].start, prefix + suffix };
|
2012-03-30 13:37:18 +02:00
|
|
|
|
2012-10-08 19:25:17 +02:00
|
|
|
m_lines.erase(m_lines.begin() + (int)begin.line(), m_lines.begin() + (int)end.line() + 1);
|
2012-08-23 23:56:35 +02:00
|
|
|
if (new_line.length() != 0)
|
2012-10-08 19:25:17 +02:00
|
|
|
m_lines.insert(m_lines.begin() + (int)begin.line(), std::move(new_line));
|
2012-03-30 13:37:18 +02:00
|
|
|
|
2012-10-08 19:25:17 +02:00
|
|
|
for (LineCount i = begin.line()+1; i < line_count(); ++i)
|
2012-03-30 13:37:18 +02:00
|
|
|
m_lines[i].start -= length;
|
|
|
|
|
|
|
|
check_invariant();
|
2012-04-04 15:56:19 +02:00
|
|
|
|
2012-07-16 21:51:37 +02:00
|
|
|
for (auto listener : m_change_listeners)
|
2012-10-08 19:25:17 +02:00
|
|
|
listener->on_erase(begin, end);
|
2012-02-22 22:54:25 +01:00
|
|
|
}
|
|
|
|
|
2011-12-06 19:58:43 +01:00
|
|
|
void Buffer::apply_modification(const Modification& modification)
|
2011-09-06 20:49:32 +02:00
|
|
|
{
|
2012-03-30 13:37:18 +02:00
|
|
|
const String& content = modification.content;
|
|
|
|
const BufferIterator& pos = modification.position;
|
|
|
|
|
2011-09-06 20:49:32 +02:00
|
|
|
switch (modification.type)
|
|
|
|
{
|
2011-12-06 19:58:43 +01:00
|
|
|
case Modification::Insert:
|
2012-04-04 14:25:42 +02:00
|
|
|
{
|
2012-10-11 01:17:29 +02:00
|
|
|
do_insert(pos < end() ? pos : end(), content);
|
2011-09-06 20:49:32 +02:00
|
|
|
break;
|
2012-04-04 14:25:42 +02:00
|
|
|
}
|
2011-12-06 19:58:43 +01:00
|
|
|
case Modification::Erase:
|
2011-09-06 20:49:32 +02:00
|
|
|
{
|
2012-10-11 01:17:29 +02:00
|
|
|
ByteCount count = content.length();
|
|
|
|
BufferIterator end = pos + count;
|
|
|
|
assert(string(pos, end) == content);
|
|
|
|
do_erase(pos, end);
|
2011-09-06 20:49:32 +02:00
|
|
|
break;
|
|
|
|
}
|
|
|
|
default:
|
|
|
|
assert(false);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2012-09-10 19:26:17 +02:00
|
|
|
void Buffer::insert(BufferIterator pos, String content)
|
2012-08-10 19:12:43 +02:00
|
|
|
{
|
|
|
|
if (content.empty())
|
|
|
|
return;
|
2012-08-14 14:13:10 +02:00
|
|
|
|
2012-09-10 19:26:17 +02:00
|
|
|
if (pos.is_end() and content.back() != '\n')
|
|
|
|
content += '\n';
|
2012-08-14 14:13:10 +02:00
|
|
|
|
2012-09-10 19:26:17 +02:00
|
|
|
m_current_undo_group.emplace_back(Modification::Insert, pos,
|
|
|
|
std::move(content));
|
|
|
|
do_insert(pos, m_current_undo_group.back().content);
|
2012-08-10 19:12:43 +02:00
|
|
|
}
|
|
|
|
|
2012-08-14 14:13:10 +02:00
|
|
|
void Buffer::erase(BufferIterator begin, BufferIterator end)
|
2011-09-06 20:49:32 +02:00
|
|
|
{
|
2012-08-14 14:13:10 +02:00
|
|
|
if (end.is_end() and (begin.column() != 0 or begin.is_begin()))
|
|
|
|
--end;
|
|
|
|
|
2012-08-10 19:12:43 +02:00
|
|
|
if (begin == end)
|
2012-03-12 22:31:27 +01:00
|
|
|
return;
|
|
|
|
|
2012-08-10 19:12:43 +02:00
|
|
|
m_current_undo_group.emplace_back(Modification::Erase, begin,
|
|
|
|
string(begin, end));
|
2012-10-08 19:25:17 +02:00
|
|
|
do_erase(begin, end);
|
2011-09-06 20:49:32 +02:00
|
|
|
}
|
|
|
|
|
2012-11-05 19:15:42 +01:00
|
|
|
Window& Buffer::new_window()
|
2011-09-08 02:13:19 +02:00
|
|
|
{
|
2012-11-05 19:15:42 +01:00
|
|
|
m_windows.emplace_back(new Window(*this));
|
|
|
|
return *m_windows.back();
|
2011-09-08 02:13:19 +02:00
|
|
|
}
|
|
|
|
|
2012-11-05 19:15:42 +01:00
|
|
|
void Buffer::delete_window(Window& window)
|
2011-09-08 02:13:19 +02:00
|
|
|
{
|
2012-11-05 19:15:42 +01:00
|
|
|
assert(&window.buffer() == this);
|
|
|
|
auto window_it = std::find(m_windows.begin(), m_windows.end(), &window);
|
2011-09-08 02:13:19 +02:00
|
|
|
assert(window_it != m_windows.end());
|
|
|
|
m_windows.erase(window_it);
|
|
|
|
}
|
|
|
|
|
2011-10-05 16:21:24 +02:00
|
|
|
bool Buffer::is_modified() const
|
|
|
|
{
|
2011-11-03 14:44:02 +01:00
|
|
|
size_t history_cursor_index = m_history_cursor - m_history.begin();
|
|
|
|
return m_last_save_undo_index != history_cursor_index
|
2011-10-05 16:21:24 +02:00
|
|
|
or not m_current_undo_group.empty();
|
|
|
|
}
|
|
|
|
|
|
|
|
void Buffer::notify_saved()
|
|
|
|
{
|
2011-11-03 14:44:02 +01:00
|
|
|
size_t history_cursor_index = m_history_cursor - m_history.begin();
|
|
|
|
m_last_save_undo_index = history_cursor_index;
|
2011-10-05 16:21:24 +02:00
|
|
|
}
|
|
|
|
|
2012-11-12 20:11:27 +01:00
|
|
|
void Buffer::add_change_listener(BufferChangeListener& listener) const
|
2011-10-18 02:55:45 +02:00
|
|
|
{
|
2012-07-16 21:51:37 +02:00
|
|
|
assert(not contains(m_change_listeners, &listener));
|
|
|
|
m_change_listeners.push_back(&listener);
|
2011-10-18 02:55:45 +02:00
|
|
|
}
|
|
|
|
|
2012-11-12 20:11:27 +01:00
|
|
|
void Buffer::remove_change_listener(BufferChangeListener& listener) const
|
2011-10-18 02:55:45 +02:00
|
|
|
{
|
2012-07-16 21:51:37 +02:00
|
|
|
auto it = std::find(m_change_listeners.begin(),
|
|
|
|
m_change_listeners.end(),
|
|
|
|
&listener);
|
|
|
|
assert(it != m_change_listeners.end());
|
|
|
|
m_change_listeners.erase(it);
|
2011-10-18 02:55:45 +02:00
|
|
|
}
|
|
|
|
|
2011-09-02 18:51:20 +02:00
|
|
|
}
|