2011-09-02 18:51:20 +02:00
|
|
|
#include "window.hh"
|
|
|
|
|
2011-09-19 23:56:29 +02:00
|
|
|
#include "assert.hh"
|
2011-11-29 23:37:20 +01:00
|
|
|
#include "highlighter_registry.hh"
|
2012-04-03 14:01:01 +02:00
|
|
|
#include "hook_manager.hh"
|
2012-01-23 14:56:43 +01:00
|
|
|
#include "context.hh"
|
2011-09-19 23:56:29 +02:00
|
|
|
|
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
|
|
|
|
{
|
|
|
|
|
2011-09-08 02:13:19 +02:00
|
|
|
Window::Window(Buffer& buffer)
|
2012-01-31 20:12:06 +01:00
|
|
|
: Editor(buffer),
|
2011-09-02 18:51:20 +02:00
|
|
|
m_position(0, 0),
|
2012-04-03 15:39:20 +02:00
|
|
|
m_dimensions(0, 0),
|
2012-06-07 15:29:44 +02:00
|
|
|
m_hook_manager(buffer.hook_manager()),
|
2012-04-03 15:39:20 +02:00
|
|
|
m_option_manager(buffer.option_manager())
|
2011-09-02 18:51:20 +02:00
|
|
|
{
|
2011-11-29 23:37:20 +01:00
|
|
|
HighlighterRegistry& registry = HighlighterRegistry::instance();
|
2011-11-26 19:39:59 +01:00
|
|
|
|
2012-06-07 15:29:44 +02:00
|
|
|
m_hook_manager.run_hook("WinCreate", buffer.name(), Context(*this));
|
2011-11-26 19:39:59 +01:00
|
|
|
|
2012-06-12 20:24:29 +02:00
|
|
|
registry.add_highlighter_to_group(*this, m_highlighters, "expand_tabs", HighlighterParameters());
|
|
|
|
registry.add_highlighter_to_group(*this, m_highlighters, "highlight_selections", HighlighterParameters());
|
2011-09-27 20:45:22 +02:00
|
|
|
}
|
|
|
|
|
2011-10-15 06:45:49 +02:00
|
|
|
BufferIterator Window::iterator_at(const DisplayCoord& window_pos) const
|
2011-09-05 20:54:17 +02:00
|
|
|
{
|
2011-10-15 06:45:49 +02:00
|
|
|
if (m_display_buffer.begin() == m_display_buffer.end())
|
2012-01-31 20:12:06 +01:00
|
|
|
return buffer().begin();
|
2011-09-05 20:54:17 +02:00
|
|
|
|
2011-10-15 06:45:49 +02:00
|
|
|
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())
|
|
|
|
{
|
2011-10-18 15:59:32 +02:00
|
|
|
return (--atom_it)->iterator_at(window_pos);
|
2011-10-15 06:45:49 +02:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
2011-09-05 20:54:17 +02:00
|
|
|
|
2012-01-31 20:12:06 +01:00
|
|
|
return buffer().iterator_at(m_position + BufferCoord(window_pos));
|
2011-09-05 20:54:17 +02:00
|
|
|
}
|
|
|
|
|
2011-10-14 16:29:53 +02:00
|
|
|
DisplayCoord Window::line_and_column_at(const BufferIterator& iterator) const
|
2011-09-05 20:54:17 +02:00
|
|
|
{
|
2011-10-15 06:45:49 +02:00
|
|
|
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);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
2012-01-31 20:12:06 +01:00
|
|
|
BufferCoord coord = buffer().line_and_column_at(iterator);
|
2011-10-15 06:45:49 +02:00
|
|
|
return DisplayCoord(coord.line - m_position.line,
|
|
|
|
coord.column - m_position.column);
|
2011-09-05 20:54:17 +02:00
|
|
|
}
|
|
|
|
|
2012-01-31 20:12:06 +01:00
|
|
|
void Window::update_display_buffer()
|
2011-09-22 16:00:04 +02:00
|
|
|
{
|
2011-09-05 20:54:17 +02:00
|
|
|
scroll_to_keep_cursor_visible_ifn();
|
2011-09-02 18:51:20 +02:00
|
|
|
|
|
|
|
m_display_buffer.clear();
|
|
|
|
|
2012-01-31 20:12:06 +01:00
|
|
|
BufferIterator begin = buffer().iterator_at(m_position);
|
|
|
|
BufferIterator end = buffer().iterator_at(m_position +
|
2012-03-06 15:27:49 +01:00
|
|
|
BufferCoord(m_dimensions.line, m_dimensions.column))+2;
|
2011-10-07 16:19:58 +02:00
|
|
|
if (begin == end)
|
|
|
|
return;
|
|
|
|
|
2011-10-15 06:45:49 +02:00
|
|
|
m_display_buffer.append(DisplayAtom(DisplayCoord(0,0), begin, end));
|
2011-09-02 18:51:20 +02:00
|
|
|
|
2012-01-19 21:37:29 +01:00
|
|
|
m_highlighters(m_display_buffer);
|
|
|
|
m_display_buffer.check_invariant();
|
2011-09-02 18:51:20 +02:00
|
|
|
}
|
|
|
|
|
2011-10-14 16:29:53 +02:00
|
|
|
void Window::set_dimensions(const DisplayCoord& dimensions)
|
2011-09-05 20:54:17 +02:00
|
|
|
{
|
|
|
|
m_dimensions = dimensions;
|
|
|
|
}
|
|
|
|
|
2011-09-05 20:55:31 +02:00
|
|
|
void Window::scroll_to_keep_cursor_visible_ifn()
|
|
|
|
{
|
2012-05-29 02:14:05 +02:00
|
|
|
BufferCoord cursor = buffer().line_and_column_at(selections().back().last());
|
|
|
|
if (cursor.line < m_position.line)
|
|
|
|
m_position.line = cursor.line;
|
|
|
|
else if (cursor.line >= m_position.line + m_dimensions.line)
|
|
|
|
m_position.line = cursor.line - (m_dimensions.line - 1);
|
|
|
|
|
|
|
|
if (cursor.column < m_position.column)
|
|
|
|
m_position.column = cursor.column;
|
|
|
|
else if (cursor.column >= m_position.column + m_dimensions.column)
|
|
|
|
m_position.column = cursor.column - (m_dimensions.column - 1);
|
2011-09-05 20:55:31 +02:00
|
|
|
}
|
|
|
|
|
2012-04-14 03:17:09 +02:00
|
|
|
String Window::status_line() const
|
2011-10-04 20:49:41 +02:00
|
|
|
{
|
2012-01-31 20:12:06 +01:00
|
|
|
BufferCoord cursor = buffer().line_and_column_at(selections().back().last());
|
2011-10-04 20:49:41 +02:00
|
|
|
std::ostringstream oss;
|
2012-01-31 20:12:06 +01:00
|
|
|
oss << buffer().name();
|
|
|
|
if (buffer().is_modified())
|
2011-10-05 16:21:24 +02:00
|
|
|
oss << " [+]";
|
2011-10-27 16:27:39 +02:00
|
|
|
oss << " -- " << cursor.line+1 << "," << cursor.column+1
|
2011-12-21 20:06:26 +01:00
|
|
|
<< " -- " << selections().size() << " sel -- ";
|
2012-02-08 00:41:10 +01:00
|
|
|
if (is_editing())
|
2011-10-05 16:21:24 +02:00
|
|
|
oss << "[Insert]";
|
2011-10-04 20:49:41 +02:00
|
|
|
return oss.str();
|
|
|
|
}
|
|
|
|
|
2012-02-08 00:41:10 +01:00
|
|
|
void Window::on_incremental_insertion_end()
|
2011-09-19 23:56:29 +02:00
|
|
|
{
|
2012-01-31 20:12:06 +01:00
|
|
|
push_selections();
|
2012-04-03 14:01:01 +02:00
|
|
|
hook_manager().run_hook("InsertEnd", "", Context(*this));
|
2012-01-31 20:12:06 +01:00
|
|
|
pop_selections();
|
2011-09-19 23:56:29 +02:00
|
|
|
}
|
|
|
|
|
2011-09-02 18:51:20 +02:00
|
|
|
}
|