2011-09-02 18:51:20 +02:00
|
|
|
#ifndef window_hh_INCLUDED
|
|
|
|
#define window_hh_INCLUDED
|
|
|
|
|
|
|
|
#include <functional>
|
2011-09-05 21:06:31 +02:00
|
|
|
|
2011-09-17 16:13:33 +02:00
|
|
|
#include "line_and_column.hh"
|
2011-09-05 21:06:31 +02:00
|
|
|
|
2011-09-02 18:51:20 +02:00
|
|
|
#include "buffer.hh"
|
|
|
|
#include "display_buffer.hh"
|
|
|
|
|
|
|
|
namespace Kakoune
|
|
|
|
{
|
|
|
|
|
2011-09-17 16:13:33 +02:00
|
|
|
struct WindowCoord : LineAndColumn<WindowCoord>
|
2011-09-05 21:06:31 +02:00
|
|
|
{
|
|
|
|
WindowCoord(int line = 0, int column = 0)
|
|
|
|
: LineAndColumn(line, column) {}
|
|
|
|
};
|
|
|
|
|
2011-09-02 18:51:20 +02:00
|
|
|
struct Selection
|
|
|
|
{
|
|
|
|
Selection(const BufferIterator& begin, const BufferIterator& end)
|
2011-09-17 16:57:35 +02:00
|
|
|
: m_begin(begin), m_end(end) {}
|
|
|
|
|
|
|
|
const BufferIterator& begin() const { return m_begin; }
|
|
|
|
const BufferIterator& end() const { return m_end; }
|
|
|
|
|
|
|
|
void canonicalize()
|
|
|
|
{
|
|
|
|
if (m_end < m_begin)
|
2011-09-22 15:59:07 +02:00
|
|
|
std::swap(++m_begin, ++m_end);
|
2011-09-17 16:57:35 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
void offset(int offset)
|
|
|
|
{
|
|
|
|
m_begin += offset;
|
|
|
|
m_end += offset;
|
|
|
|
}
|
|
|
|
|
|
|
|
private:
|
|
|
|
BufferIterator m_begin;
|
|
|
|
BufferIterator m_end;
|
2011-09-02 18:51:20 +02:00
|
|
|
};
|
|
|
|
|
|
|
|
typedef std::vector<Selection> SelectionList;
|
|
|
|
|
2011-09-19 23:56:29 +02:00
|
|
|
class IncrementalInserter;
|
|
|
|
|
2011-09-02 18:51:20 +02:00
|
|
|
class Window
|
|
|
|
{
|
|
|
|
public:
|
|
|
|
typedef BufferString String;
|
|
|
|
typedef std::function<Selection (const BufferIterator&)> Selector;
|
|
|
|
|
|
|
|
void erase();
|
|
|
|
void insert(const String& string);
|
|
|
|
void append(const String& string);
|
|
|
|
|
2011-09-05 21:06:31 +02:00
|
|
|
const BufferCoord& position() const { return m_position; }
|
|
|
|
const WindowCoord& cursor_position() const { return m_cursor; }
|
2011-09-05 20:54:17 +02:00
|
|
|
|
2011-09-08 02:13:19 +02:00
|
|
|
Buffer& buffer() const { return m_buffer; }
|
2011-09-05 20:54:17 +02:00
|
|
|
|
2011-09-05 21:06:31 +02:00
|
|
|
BufferCoord window_to_buffer(const WindowCoord& window_pos) const;
|
|
|
|
WindowCoord buffer_to_window(const BufferCoord& buffer_pos) const;
|
|
|
|
|
|
|
|
BufferIterator iterator_at(const WindowCoord& window_pos) const;
|
|
|
|
WindowCoord line_and_column_at(const BufferIterator& iterator) const;
|
2011-09-02 18:51:20 +02:00
|
|
|
|
2011-09-05 21:06:31 +02:00
|
|
|
void move_cursor(const WindowCoord& offset);
|
2011-09-02 18:51:20 +02:00
|
|
|
|
2011-09-05 20:54:17 +02:00
|
|
|
void empty_selections();
|
|
|
|
void select(bool append, const Selector& selector);
|
|
|
|
|
2011-09-05 21:06:31 +02:00
|
|
|
void set_dimensions(const WindowCoord& dimensions);
|
2011-09-02 18:51:20 +02:00
|
|
|
|
|
|
|
const DisplayBuffer& display_buffer() const { return m_display_buffer; }
|
|
|
|
|
|
|
|
void update_display_buffer();
|
2011-09-05 20:54:17 +02:00
|
|
|
|
2011-09-06 20:52:52 +02:00
|
|
|
bool undo();
|
|
|
|
bool redo();
|
|
|
|
|
2011-09-02 18:51:20 +02:00
|
|
|
private:
|
2011-09-08 16:30:36 +02:00
|
|
|
friend class Buffer;
|
|
|
|
|
|
|
|
Window(Buffer& buffer);
|
|
|
|
Window(const Window&) = delete;
|
|
|
|
|
2011-09-05 20:55:31 +02:00
|
|
|
void scroll_to_keep_cursor_visible_ifn();
|
2011-09-02 18:51:20 +02:00
|
|
|
|
2011-09-19 23:56:29 +02:00
|
|
|
friend class IncrementalInserter;
|
|
|
|
IncrementalInserter* m_current_inserter;
|
|
|
|
|
2011-09-08 02:13:19 +02:00
|
|
|
Buffer& m_buffer;
|
|
|
|
BufferCoord m_position;
|
|
|
|
WindowCoord m_cursor;
|
|
|
|
WindowCoord m_dimensions;
|
|
|
|
SelectionList m_selections;
|
|
|
|
DisplayBuffer m_display_buffer;
|
2011-09-02 18:51:20 +02:00
|
|
|
};
|
|
|
|
|
2011-09-19 23:56:29 +02:00
|
|
|
class IncrementalInserter
|
|
|
|
{
|
|
|
|
public:
|
|
|
|
typedef std::vector<WindowCoord> CursorList;
|
|
|
|
|
|
|
|
IncrementalInserter(Window& window, bool append = false);
|
|
|
|
~IncrementalInserter();
|
|
|
|
|
|
|
|
void insert(const Window::String& string);
|
|
|
|
void erase();
|
|
|
|
void move_cursor(const WindowCoord& offset);
|
|
|
|
|
|
|
|
const CursorList& cursors() const { return m_cursors; }
|
|
|
|
|
|
|
|
private:
|
|
|
|
Window& m_window;
|
|
|
|
std::vector<WindowCoord> m_cursors;
|
|
|
|
};
|
|
|
|
|
2011-09-02 18:51:20 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
#endif // window_hh_INCLUDED
|