home/src/window.hh

119 lines
2.7 KiB
C++
Raw Normal View History

2011-09-02 18:51:20 +02:00
#ifndef window_hh_INCLUDED
#define window_hh_INCLUDED
#include <functional>
#include "line_and_column.hh"
2011-09-02 18:51:20 +02:00
#include "buffer.hh"
#include "display_buffer.hh"
namespace Kakoune
{
struct WindowCoord : LineAndColumn<WindowCoord>
{
WindowCoord(int line = 0, int column = 0)
: LineAndColumn(line, column) {}
};
2011-09-02 18:51:20 +02:00
struct Selection
{
Selection(const BufferIterator& first, const BufferIterator& last)
: m_first(first), m_last(last) {}
BufferIterator begin() const;
BufferIterator end() const;
const BufferIterator& first() const { return m_first; }
const BufferIterator& last() const { return m_last; }
void offset(int offset);
private:
BufferIterator m_first;
BufferIterator m_last;
2011-09-02 18:51:20 +02:00
};
typedef std::vector<Selection> SelectionList;
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);
const BufferCoord& position() const { return m_position; }
const WindowCoord& cursor_position() const { return m_cursor; }
Buffer& buffer() const { return m_buffer; }
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
void move_cursor(const WindowCoord& offset);
2011-09-22 16:00:04 +02:00
void move_cursor_to(const WindowCoord& new_pos);
2011-09-02 18:51:20 +02:00
void empty_selections();
void select(bool append, const Selector& selector);
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();
bool undo();
bool redo();
2011-09-02 18:51:20 +02:00
private:
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
friend class IncrementalInserter;
IncrementalInserter* m_current_inserter;
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
};
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