home/src/window.hh

137 lines
3.1 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;
enum class SelectMode
{
Normal,
Append,
LineAppend,
};
2011-09-02 18:51:20 +02:00
void erase();
void insert(const String& string);
void append(const String& string);
const BufferCoord& position() const { return m_position; }
WindowCoord cursor_position() const;
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(const Selector& selector);
BufferString selection_content() const;
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();
SelectMode select_mode() const { return m_select_mode; }
void set_select_mode(SelectMode select_mode) { m_select_mode = select_mode; }
2011-09-02 18:51:20 +02:00
private:
friend class Buffer;
Window(Buffer& buffer);
Window(const Window&) = delete;
void check_invariant() const;
2011-09-05 20:55:31 +02:00
void scroll_to_keep_cursor_visible_ifn();
2011-09-02 18:51:20 +02:00
void erase_noundo();
void insert_noundo(const String& string);
void append_noundo(const String& string);
friend class IncrementalInserter;
IncrementalInserter* m_current_inserter;
SelectMode m_select_mode;
Buffer& m_buffer;
BufferCoord m_position;
WindowCoord m_dimensions;
SelectionList m_selections;
DisplayBuffer m_display_buffer;
2011-09-02 18:51:20 +02:00
};
class IncrementalInserter
{
public:
enum class Mode
{
Insert,
Append,
Change
};
IncrementalInserter(Window& window, Mode mode = Mode::Insert);
~IncrementalInserter();
void insert(const Window::String& string);
void erase();
void move_cursor(const WindowCoord& offset);
private:
Window& m_window;
};
2011-09-02 18:51:20 +02:00
}
#endif // window_hh_INCLUDED