home/src/window.cc

523 lines
13 KiB
C++
Raw Normal View History

2011-09-02 18:51:20 +02:00
#include "window.hh"
#include "assert.hh"
#include "highlighter_registry.hh"
#include "hooks_manager.hh"
#include "context.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;
}
2011-10-27 16:22:17 +02:00
void Selection::merge_with(const Selection& selection)
{
2011-10-27 16:22:17 +02:00
if (m_first <= m_last)
m_first = std::min(m_first, selection.m_first);
else
m_first = std::max(m_first, selection.m_first);
m_last = selection.m_last;
}
BufferString Selection::capture(size_t index) const
{
if (index < m_captures.size())
return m_captures[index];
return "";
}
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;
};
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
{
2011-12-21 20:06:26 +01:00
m_selections.push_back(SelectionList());
selections().push_back(Selection(buffer.begin(), buffer.begin()));
2011-11-09 15:06:05 +01:00
HighlighterRegistry& registry = HighlighterRegistry::instance();
GlobalHooksManager::instance().run_hook("WinCreate", buffer.name(),
Context(*this));
registry.add_highlighter_to_window(*this, "expand_tabs", HighlighterParameters());
registry.add_highlighter_to_window(*this, "highlight_selections", HighlighterParameters());
}
void Window::check_invariant() const
{
2011-12-21 20:06:26 +01:00
assert(not selections().empty());
}
DisplayCoord Window::cursor_position() const
{
check_invariant();
return line_and_column_at(cursor_iterator());
}
BufferIterator Window::cursor_iterator() const
{
check_invariant();
2011-12-21 20:06:26 +01:00
return selections().back().last();
2011-09-02 18:51:20 +02:00
}
void Window::erase()
{
if (m_current_inserter == nullptr)
{
scoped_undo_group undo_group(m_buffer);
erase_noundo();
}
else
erase_noundo();
}
2011-09-02 18:51:20 +02:00
void Window::erase_noundo()
{
check_invariant();
2011-12-21 20:06:26 +01:00
for (auto& sel : selections())
m_buffer.modify(Modification::make_erase(sel.begin(), sel.end()));
scroll_to_keep_cursor_visible_ifn();
2011-09-02 18:51:20 +02:00
}
template<typename Iterator>
static DisplayCoord measure_string(Iterator begin, Iterator end)
2011-09-02 18:51:20 +02:00
{
DisplayCoord result(0, 0);
while (begin != end)
2011-09-02 18:51:20 +02:00
{
if (*begin == '\n')
2011-09-02 18:51:20 +02:00
{
++result.line;
result.column = 0;
}
else
++result.column;
++begin;
2011-09-02 18:51:20 +02:00
}
return result;
}
static DisplayCoord measure_string(const Window::String& string)
{
return measure_string(string.begin(), string.end());
}
2011-09-02 18:51:20 +02:00
void Window::insert(const String& string)
{
if (m_current_inserter == nullptr)
{
scoped_undo_group undo_group(m_buffer);
insert_noundo(string);
}
else
insert_noundo(string);
}
void Window::insert_noundo(const String& string)
{
2011-12-21 20:06:26 +01:00
for (auto& sel : selections())
m_buffer.modify(Modification::make_insert(sel.begin(), string));
scroll_to_keep_cursor_visible_ifn();
2011-09-02 18:51:20 +02:00
}
void Window::append(const String& string)
{
if (m_current_inserter == nullptr)
{
scoped_undo_group undo_group(m_buffer);
append_noundo(string);
}
else
append_noundo(string);
}
void Window::append_noundo(const String& string)
{
2011-12-21 20:06:26 +01:00
for (auto& sel : selections())
m_buffer.modify(Modification::make_insert(sel.end(), string));
scroll_to_keep_cursor_visible_ifn();
}
void Window::replace(const std::string& string)
{
if (m_current_inserter == nullptr)
{
scoped_undo_group undo_group(m_buffer);
erase_noundo();
insert_noundo(string);
}
else
{
erase_noundo();
insert_noundo(string);
}
}
bool Window::undo()
{
return m_buffer.undo();
}
bool Window::redo()
{
return m_buffer.redo();
2011-09-02 18:51:20 +02:00
}
BufferIterator Window::iterator_at(const DisplayCoord& window_pos) const
{
if (m_display_buffer.begin() == m_display_buffer.end())
return m_buffer.begin();
if (DisplayCoord(0,0) <= window_pos)
{
for (auto atom_it = m_display_buffer.begin();
atom_it != m_display_buffer.end(); ++atom_it)
{
if (window_pos < atom_it->coord())
{
return (--atom_it)->iterator_at(window_pos);
}
}
}
return m_buffer.iterator_at(m_position + BufferCoord(window_pos));
}
DisplayCoord Window::line_and_column_at(const BufferIterator& iterator) const
{
if (m_display_buffer.begin() == m_display_buffer.end())
return DisplayCoord(0, 0);
if (iterator >= m_display_buffer.front().begin() and
iterator < m_display_buffer.back().end())
{
for (auto& atom : m_display_buffer)
{
if (atom.end() > iterator)
{
assert(atom.begin() <= iterator);
return atom.line_and_column_at(iterator);
}
}
}
BufferCoord coord = m_buffer.line_and_column_at(iterator);
return DisplayCoord(coord.line - m_position.line,
coord.column - m_position.column);
}
void Window::clear_selections()
2011-09-02 18:51:20 +02:00
{
check_invariant();
2011-12-21 20:06:26 +01:00
BufferIterator pos = selections().back().last();
2011-12-05 15:29:36 +01:00
if (*pos == '\n' and not pos.is_begin() and *(pos-1) != '\n')
--pos;
2011-12-05 15:29:36 +01:00
Selection sel = Selection(pos, pos);
2011-12-21 20:06:26 +01:00
selections().clear();
selections().push_back(std::move(sel));
2011-09-02 18:51:20 +02:00
}
void Window::keep_selection(int index)
{
check_invariant();
if (index < selections().size())
{
Selection sel = selections()[index];
selections().clear();
selections().push_back(std::move(sel));
}
}
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
{
2011-12-21 20:06:26 +01:00
Selection sel = selector(selections().back().last());
selections().clear();
selections().push_back(std::move(sel));
2011-09-02 18:51:20 +02:00
}
else
{
2011-12-21 20:06:26 +01:00
for (auto& sel : selections())
2011-09-02 18:51:20 +02:00
{
2011-10-27 16:22:17 +02:00
sel.merge_with(selector(sel.last()));
2011-09-02 18:51:20 +02:00
}
}
scroll_to_keep_cursor_visible_ifn();
2011-09-02 18:51:20 +02:00
}
struct nothing_selected : public runtime_error
{
nothing_selected() : runtime_error("nothing was selected") {}
};
void Window::multi_select(const MultiSelector& selector)
{
check_invariant();
SelectionList new_selections;
2011-12-21 20:06:26 +01:00
for (auto& sel : selections())
{
SelectionList selections = selector(sel);
std::copy(selections.begin(), selections.end(),
std::back_inserter(new_selections));
}
if (new_selections.empty())
throw nothing_selected();
2011-12-21 20:06:26 +01:00
selections() = std::move(new_selections);
scroll_to_keep_cursor_visible_ifn();
}
BufferString Window::selection_content() const
{
check_invariant();
2011-12-21 20:06:26 +01:00
return m_buffer.string(selections().back().begin(),
selections().back().end());
}
void Window::move_cursor(const DisplayCoord& offset, bool append)
2011-09-02 18:51:20 +02:00
{
2011-10-07 16:03:25 +02:00
if (not append)
{
BufferCoord pos = m_buffer.line_and_column_at(cursor_iterator());
move_cursor_to(m_buffer.iterator_at(pos + BufferCoord(offset)));
}
else
{
2011-12-21 20:06:26 +01:00
for (auto& sel : selections())
{
BufferCoord pos = m_buffer.line_and_column_at(sel.last());
sel = Selection(sel.first(), m_buffer.iterator_at(pos + BufferCoord(offset)));
}
scroll_to_keep_cursor_visible_ifn();
}
2011-09-22 16:00:04 +02:00
}
void Window::move_cursor_to(const BufferIterator& iterator)
2011-09-22 16:00:04 +02:00
{
2011-12-21 20:06:26 +01:00
selections().clear();
selections().push_back(Selection(iterator, iterator));
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 +
2011-11-24 15:23:41 +01:00
BufferCoord(m_dimensions.line, m_dimensions.column))+1;
if (begin == end)
return;
m_display_buffer.append(DisplayAtom(DisplayCoord(0,0), begin, end));
2011-09-02 18:51:20 +02:00
m_highlighters(m_display_buffer);
m_display_buffer.check_invariant();
2011-09-02 18:51:20 +02:00
}
void Window::set_dimensions(const DisplayCoord& dimensions)
{
m_dimensions = dimensions;
}
2011-09-05 20:55:31 +02:00
void Window::scroll_to_keep_cursor_visible_ifn()
{
check_invariant();
2011-12-21 20:06:26 +01:00
DisplayCoord cursor = line_and_column_at(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
{
2011-12-21 20:06:26 +01:00
BufferCoord cursor = m_buffer.line_and_column_at(selections().back().last());
2011-10-04 20:49:41 +02:00
std::ostringstream oss;
2011-10-05 16:21:24 +02:00
oss << m_buffer.name();
if (m_buffer.is_modified())
oss << " [+]";
oss << " -- " << cursor.line+1 << "," << cursor.column+1
2011-12-21 20:06:26 +01:00
<< " -- " << 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();
}
2011-12-07 15:29:10 +01:00
void Window::add_filter(FilterAndId&& filter)
{
if (m_filters.contains(filter.first))
throw id_not_unique(filter.first);
2011-12-07 19:57:07 +01:00
m_filters.append(std::forward<FilterAndId>(filter));
2011-12-07 15:29:10 +01:00
}
void Window::remove_filter(const std::string& id)
{
m_filters.remove(id);
}
CandidateList Window::complete_filterid(const std::string& prefix,
size_t cursor_pos)
{
return m_filters.complete_id<str_to_str>(prefix, cursor_pos);
}
2011-12-21 20:06:26 +01:00
void Window::push_selections()
{
SelectionList current_selections = selections();
m_selections.push_back(std::move(current_selections));
}
void Window::pop_selections()
{
if (m_selections.size() > 1)
m_selections.pop_back();
else
throw runtime_error("no more selections on stack");
}
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();
2011-12-21 20:06:26 +01:00
for (auto& sel : m_window.selections())
{
2011-11-29 22:35:50 +01:00
DynamicBufferIterator 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:
case Mode::AppendAtLineEnd:
2011-11-29 22:35:50 +01:00
pos = m_window.m_buffer.iterator_at_line_end(sel.end() - 1) - 1;
if (mode == Mode::OpenLineBelow)
2011-12-07 15:29:10 +01:00
apply(Modification::make_insert(pos, "\n"));
break;
case Mode::OpenLineAbove:
case Mode::InsertAtLineBegin:
2011-11-29 22:35:50 +01:00
pos = m_window.m_buffer.iterator_at_line_begin(sel.begin());
if (mode == Mode::OpenLineAbove)
2011-12-07 15:29:10 +01:00
apply(Modification::make_insert(--pos, "\n"));
break;
}
sel = Selection(pos, pos, sel.captures());
}
}
IncrementalInserter::~IncrementalInserter()
{
move_cursor(DisplayCoord(0, -1));
m_window.push_selections();
try
{
2012-01-23 14:57:24 +01:00
m_window.hooks_manager().run_hook("InsertEnd", "", Context(m_window));
}
catch (runtime_error& e) {}
m_window.pop_selections();
assert(m_window.m_current_inserter == this);
m_window.m_current_inserter = nullptr;
m_window.m_buffer.end_undo_group();
}
2011-12-07 15:29:10 +01:00
void IncrementalInserter::apply(Modification&& modification) const
{
for (auto filter : m_window.m_filters)
filter.second(m_window.buffer(), modification);
m_window.buffer().modify(std::move(modification));
}
void IncrementalInserter::insert(const Window::String& string)
{
2011-12-21 20:06:26 +01:00
for (auto& sel : m_window.selections())
2011-12-07 15:29:10 +01:00
apply(Modification::make_insert(sel.begin(), string));
}
void IncrementalInserter::insert_capture(size_t index)
{
2011-12-21 20:06:26 +01:00
for (auto& sel : m_window.selections())
m_window.m_buffer.modify(Modification::make_insert(sel.begin(),
sel.capture(index)));
m_window.scroll_to_keep_cursor_visible_ifn();
}
void IncrementalInserter::erase()
{
2011-12-21 20:06:26 +01:00
for (auto& sel : m_window.selections())
2011-12-07 15:29:10 +01:00
{
2011-11-21 23:18:00 +01:00
sel = Selection(sel.first() - 1, sel.last() - 1);
2011-12-07 15:29:10 +01:00
apply(Modification::make_erase(sel.begin(), sel.end()));
}
2011-11-21 23:18:00 +01:00
m_window.scroll_to_keep_cursor_visible_ifn();
}
void IncrementalInserter::move_cursor(const DisplayCoord& offset)
{
2011-12-21 20:06:26 +01:00
for (auto& sel : m_window.selections())
{
DisplayCoord 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
}