home/src/window.cc

414 lines
10 KiB
C++
Raw Normal View History

2011-09-02 18:51:20 +02:00
#include "window.hh"
#include "assert.hh"
2011-09-30 21:16:23 +02:00
#include "filters.hh"
2011-09-02 18:51:20 +02:00
#include <algorithm>
2011-10-04 20:49:41 +02:00
#include <sstream>
2011-09-02 18:51:20 +02:00
namespace Kakoune
{
BufferIterator Selection::begin() const
{
return std::min(m_first, m_last);
}
BufferIterator Selection::end() const
{
return std::max(m_first, m_last) + 1;
}
void Selection::offset(int offset)
{
m_first += offset;
m_last += offset;
}
struct scoped_undo_group
{
scoped_undo_group(Buffer& buffer)
: m_buffer(buffer) { m_buffer.begin_undo_group(); }
~scoped_undo_group() { m_buffer.end_undo_group(); }
private:
Buffer& m_buffer;
};
class HighlightSelections
{
public:
HighlightSelections(Window& window)
: m_window(window)
{
}
void operator()(DisplayBuffer& display_buffer)
{
SelectionList sorted_selections = m_window.m_selections;
std::sort(sorted_selections.begin(), sorted_selections.end(),
[](const Selection& lhs, const Selection& rhs) { return lhs.begin() < rhs.begin(); });
auto atom_it = display_buffer.begin();
auto sel_it = sorted_selections.begin();
while (atom_it != display_buffer.end()
and sel_it != sorted_selections.end())
{
Selection& sel = *sel_it;
DisplayAtom& atom = *atom_it;
// [###------]
if (atom.begin >= sel.begin() and atom.begin < sel.end() and atom.end > sel.end())
{
atom_it = display_buffer.split(atom_it, sel.end());
atom_it->attribute |= Attributes::Underline;
++atom_it;
++sel_it;
}
// [---###---]
else if (atom.begin < sel.begin() and atom.end > sel.end())
{
atom_it = display_buffer.split(atom_it, sel.begin());
atom_it = display_buffer.split(atom_it + 1, sel.end());
atom_it->attribute |= Attributes::Underline;
++atom_it;
++sel_it;
}
// [------###]
else if (atom.begin < sel.begin() and atom.end > sel.begin())
{
atom_it = display_buffer.split(atom_it, sel.begin()) + 1;
atom_it->attribute |= Attributes::Underline;
++atom_it;
}
// [#########]
else if (atom.begin >= sel.begin() and atom.end <= sel.end())
{
atom_it->attribute |= Attributes::Underline;
++atom_it;
}
// [---------]
else if (atom.begin >= sel.end())
++sel_it;
// [---------]
else if (atom.end <= sel.begin())
++atom_it;
else
assert(false);
}
}
private:
const Window& m_window;
};
Window::Window(Buffer& buffer)
2011-09-02 18:51:20 +02:00
: m_buffer(buffer),
m_position(0, 0),
m_dimensions(0, 0),
m_current_inserter(nullptr)
2011-09-02 18:51:20 +02:00
{
m_selections.push_back(Selection(buffer.begin(), buffer.begin()));
m_filters.push_back(colorize_cplusplus);
m_filters.push_back(HighlightSelections(*this));
}
void Window::check_invariant() const
{
assert(not m_selections.empty());
}
WindowCoord Window::cursor_position() const
{
check_invariant();
return line_and_column_at(m_selections.back().last());
2011-09-02 18:51:20 +02:00
}
void Window::erase()
{
scoped_undo_group undo_group(m_buffer);
erase_noundo();
}
2011-09-02 18:51:20 +02:00
void Window::erase_noundo()
{
check_invariant();
for (auto& sel : m_selections)
2011-09-02 18:51:20 +02:00
{
m_buffer.erase(sel.begin(), sel.end());
sel = Selection(sel.begin(), sel.begin());
2011-09-02 18:51:20 +02:00
}
}
static WindowCoord measure_string(const Window::String& string)
2011-09-02 18:51:20 +02:00
{
WindowCoord result(0, 0);
2011-09-02 18:51:20 +02:00
for (size_t i = 0; i < string.length(); ++i)
{
if (string[i] == '\n')
{
++result.line;
result.column = 0;
}
else
++result.column;
}
return result;
}
void Window::insert(const String& string)
{
scoped_undo_group undo_group(m_buffer);
insert_noundo(string);
}
void Window::insert_noundo(const String& string)
{
for (auto& sel : m_selections)
2011-09-02 18:51:20 +02:00
{
m_buffer.insert(sel.begin(), string);
sel.offset(string.length());
2011-09-02 18:51:20 +02:00
}
}
void Window::append(const String& string)
{
scoped_undo_group undo_group(m_buffer);
append_noundo(string);
}
void Window::append_noundo(const String& string)
{
for (auto& sel : m_selections)
m_buffer.insert(sel.end(), string);
}
bool Window::undo()
{
return m_buffer.undo();
}
bool Window::redo()
{
return m_buffer.redo();
2011-09-02 18:51:20 +02:00
}
BufferCoord Window::window_to_buffer(const WindowCoord& window_pos) const
{
return BufferCoord(m_position.line + window_pos.line,
m_position.column + window_pos.column);
}
WindowCoord Window::buffer_to_window(const BufferCoord& buffer_pos) const
{
return WindowCoord(buffer_pos.line - m_position.line,
buffer_pos.column - m_position.column);
}
BufferIterator Window::iterator_at(const WindowCoord& window_pos) const
{
return m_buffer.iterator_at(window_to_buffer(window_pos));
}
WindowCoord Window::line_and_column_at(const BufferIterator& iterator) const
{
return buffer_to_window(m_buffer.line_and_column_at(iterator));
}
void Window::clear_selections()
2011-09-02 18:51:20 +02:00
{
check_invariant();
Selection sel = Selection(m_selections.back().last(),
m_selections.back().last());
2011-09-02 18:51:20 +02:00
m_selections.clear();
m_selections.push_back(std::move(sel));
2011-09-02 18:51:20 +02:00
}
2011-10-07 16:03:25 +02:00
void Window::select(const Selector& selector, bool append)
2011-09-02 18:51:20 +02:00
{
check_invariant();
2011-10-07 16:03:25 +02:00
if (not append)
2011-09-02 18:51:20 +02:00
{
Selection sel = selector(m_selections.back().last());
m_selections.clear();
m_selections.push_back(std::move(sel));
2011-09-02 18:51:20 +02:00
}
else
{
for (auto& sel : m_selections)
2011-09-02 18:51:20 +02:00
{
sel = Selection(sel.first(), selector(sel.last()).last());
2011-09-02 18:51:20 +02:00
}
}
scroll_to_keep_cursor_visible_ifn();
2011-09-02 18:51:20 +02:00
}
BufferString Window::selection_content() const
{
check_invariant();
return m_buffer.string(m_selections.back().begin(),
m_selections.back().end());
}
2011-10-07 16:03:25 +02:00
void Window::move_cursor(const WindowCoord& offset, bool append)
2011-09-02 18:51:20 +02:00
{
2011-10-07 16:03:25 +02:00
if (not append)
move_cursor_to(cursor_position() + offset);
else
{
for (auto& sel : m_selections)
{
WindowCoord pos = line_and_column_at(sel.last());
sel = Selection(sel.first(), iterator_at(pos + offset));
}
scroll_to_keep_cursor_visible_ifn();
}
2011-09-22 16:00:04 +02:00
}
void Window::move_cursor_to(const WindowCoord& new_pos)
{
BufferIterator target = iterator_at(new_pos);
m_selections.clear();
m_selections.push_back(Selection(target, target));
scroll_to_keep_cursor_visible_ifn();
2011-09-02 18:51:20 +02:00
}
void Window::update_display_buffer()
{
m_display_buffer.clear();
BufferIterator begin = m_buffer.iterator_at(m_position);
BufferIterator end = m_buffer.iterator_at(m_position +
BufferCoord(m_dimensions.line, m_dimensions.column+1));
if (begin == end)
return;
m_display_buffer.append(DisplayAtom(begin, end));
2011-09-02 18:51:20 +02:00
for (auto& filter : m_filters)
{
filter(m_display_buffer);
m_display_buffer.check_invariant();
}
2011-09-02 18:51:20 +02:00
}
void Window::set_dimensions(const WindowCoord& dimensions)
{
m_dimensions = dimensions;
}
2011-09-05 20:55:31 +02:00
void Window::scroll_to_keep_cursor_visible_ifn()
{
check_invariant();
WindowCoord cursor = line_and_column_at(m_selections.back().last());
if (cursor.line < 0)
2011-09-05 20:55:31 +02:00
{
m_position.line = std::max(m_position.line + cursor.line, 0);
2011-09-05 20:55:31 +02:00
}
else if (cursor.line >= m_dimensions.line)
2011-09-05 20:55:31 +02:00
{
m_position.line += cursor.line - (m_dimensions.line - 1);
2011-09-05 20:55:31 +02:00
}
if (cursor.column < 0)
2011-09-05 20:55:31 +02:00
{
m_position.column = std::max(m_position.column + cursor.column, 0);
2011-09-05 20:55:31 +02:00
}
else if (cursor.column >= m_dimensions.column)
2011-09-05 20:55:31 +02:00
{
m_position.column += cursor.column - (m_dimensions.column - 1);
2011-09-05 20:55:31 +02:00
}
}
2011-10-04 20:49:41 +02:00
std::string Window::status_line() const
{
BufferCoord cursor = window_to_buffer(cursor_position());
std::ostringstream oss;
2011-10-05 16:21:24 +02:00
oss << m_buffer.name();
if (m_buffer.is_modified())
oss << " [+]";
oss << " -- " << cursor.line << "," << cursor.column
2011-10-04 20:49:41 +02:00
<< " -- " << m_selections.size() << " sel -- ";
2011-10-05 16:21:24 +02:00
if (m_current_inserter)
oss << "[Insert]";
2011-10-04 20:49:41 +02:00
return oss.str();
}
IncrementalInserter::IncrementalInserter(Window& window, Mode mode)
: m_window(window)
{
assert(not m_window.m_current_inserter);
m_window.m_current_inserter = this;
m_window.check_invariant();
m_window.m_buffer.begin_undo_group();
if (mode == Mode::Change)
window.erase_noundo();
for (auto& sel : m_window.m_selections)
{
BufferIterator pos;
switch (mode)
{
case Mode::Insert: pos = sel.begin(); break;
case Mode::Append: pos = sel.end(); break;
case Mode::Change: pos = sel.begin(); break;
case Mode::OpenLineBelow:
pos = sel.end();
while (not pos.is_end() and *pos != '\n')
++pos;
++pos;
window.m_buffer.insert(pos, "\n");
break;
case Mode::OpenLineAbove:
pos = sel.begin();
while (not pos.is_begin() and *pos != '\n')
--pos;
window.m_buffer.insert(pos, "\n");
++pos;
break;
}
sel = Selection(pos, pos);
}
}
IncrementalInserter::~IncrementalInserter()
{
assert(m_window.m_current_inserter == this);
m_window.m_current_inserter = nullptr;
m_window.m_buffer.end_undo_group();
}
void IncrementalInserter::insert(const Window::String& string)
{
m_window.insert_noundo(string);
}
void IncrementalInserter::erase()
{
move_cursor(WindowCoord(0, -1));
m_window.erase_noundo();
}
void IncrementalInserter::move_cursor(const WindowCoord& offset)
{
for (auto& sel : m_window.m_selections)
{
WindowCoord pos = m_window.line_and_column_at(sel.last());
BufferIterator it = m_window.iterator_at(pos + offset);
sel = Selection(it, it);
}
}
2011-09-02 18:51:20 +02:00
}