2012-01-31 20:12:06 +01:00
|
|
|
#ifndef editor_hh_INCLUDED
|
|
|
|
#define editor_hh_INCLUDED
|
|
|
|
|
|
|
|
#include "buffer.hh"
|
2012-12-11 19:51:59 +01:00
|
|
|
#include "dynamic_selection_list.hh"
|
2012-01-31 20:12:06 +01:00
|
|
|
#include "filter.hh"
|
|
|
|
#include "idvaluemap.hh"
|
2012-02-10 00:47:55 +01:00
|
|
|
#include "memoryview.hh"
|
2012-06-12 20:24:29 +02:00
|
|
|
#include "filter_group.hh"
|
2012-01-31 20:12:06 +01:00
|
|
|
|
|
|
|
namespace Kakoune
|
|
|
|
{
|
|
|
|
|
2012-02-10 00:47:55 +01:00
|
|
|
class Register;
|
2012-01-31 20:12:06 +01:00
|
|
|
|
2012-09-07 14:29:29 +02:00
|
|
|
enum class SelectMode
|
|
|
|
{
|
|
|
|
Replace,
|
|
|
|
Extend,
|
|
|
|
Append,
|
|
|
|
};
|
|
|
|
|
2012-10-09 19:25:20 +02:00
|
|
|
enum class InsertMode : unsigned
|
|
|
|
{
|
|
|
|
Insert,
|
|
|
|
Append,
|
|
|
|
Replace,
|
|
|
|
InsertAtLineBegin,
|
2012-11-26 19:23:50 +01:00
|
|
|
InsertAtNextLineBegin,
|
2012-10-09 19:25:20 +02:00
|
|
|
AppendAtLineEnd,
|
|
|
|
OpenLineBelow,
|
|
|
|
OpenLineAbove
|
|
|
|
};
|
|
|
|
|
2012-01-31 20:12:06 +01:00
|
|
|
// An Editor is a buffer mutator
|
|
|
|
//
|
|
|
|
// The Editor class provides methods to manipulate a set of selections
|
|
|
|
// and to use these selections to mutate it's buffer.
|
2012-08-05 18:23:09 +02:00
|
|
|
class Editor : public SafeCountable
|
2012-01-31 20:12:06 +01:00
|
|
|
{
|
|
|
|
public:
|
2012-11-30 18:32:49 +01:00
|
|
|
typedef std::function<Selection (const Selection&)> Selector;
|
|
|
|
typedef std::function<SelectionList (const Selection&)> MultiSelector;
|
2012-01-31 20:12:06 +01:00
|
|
|
|
|
|
|
Editor(Buffer& buffer);
|
|
|
|
virtual ~Editor() {}
|
|
|
|
|
2012-11-04 23:39:25 +01:00
|
|
|
Buffer& buffer() const { return *m_buffer; }
|
2012-01-31 20:12:06 +01:00
|
|
|
|
|
|
|
void erase();
|
2012-02-10 00:47:55 +01:00
|
|
|
|
2012-10-09 19:25:20 +02:00
|
|
|
void insert(const String& string,
|
|
|
|
InsertMode mode = InsertMode::Insert);
|
|
|
|
void insert(const memoryview<String>& strings,
|
|
|
|
InsertMode mode = InsertMode::Insert);
|
2012-01-31 20:12:06 +01:00
|
|
|
|
2012-10-02 14:10:00 +02:00
|
|
|
void move_selections(LineCount move,
|
|
|
|
SelectMode mode = SelectMode::Replace);
|
|
|
|
void move_selections(CharCount move,
|
2012-09-07 14:29:29 +02:00
|
|
|
SelectMode mode = SelectMode::Replace);
|
2012-01-31 20:12:06 +01:00
|
|
|
void clear_selections();
|
2012-11-19 19:03:56 +01:00
|
|
|
void flip_selections();
|
2012-01-31 20:12:06 +01:00
|
|
|
void keep_selection(int index);
|
2012-05-29 13:15:43 +02:00
|
|
|
void remove_selection(int index);
|
2012-01-31 20:12:06 +01:00
|
|
|
void select(const BufferIterator& iterator);
|
2012-09-07 14:29:29 +02:00
|
|
|
void select(const Selector& selector,
|
|
|
|
SelectMode mode = SelectMode::Replace);
|
2012-11-30 18:32:49 +01:00
|
|
|
void select(SelectionList selections);
|
2012-01-31 20:12:06 +01:00
|
|
|
void multi_select(const MultiSelector& selector);
|
|
|
|
|
2012-11-30 18:32:49 +01:00
|
|
|
const SelectionList& selections() const { return m_selections; }
|
2012-02-10 00:47:55 +01:00
|
|
|
std::vector<String> selections_content() const;
|
2012-01-31 20:12:06 +01:00
|
|
|
|
|
|
|
bool undo();
|
|
|
|
bool redo();
|
|
|
|
|
2012-06-12 20:24:29 +02:00
|
|
|
FilterGroup& filters() { return m_filters; }
|
2012-01-31 20:12:06 +01:00
|
|
|
|
2012-04-14 03:17:09 +02:00
|
|
|
CandidateList complete_filterid(const String& prefix,
|
|
|
|
size_t cursor_pos = String::npos);
|
2012-01-31 20:12:06 +01:00
|
|
|
|
2012-02-08 00:41:10 +01:00
|
|
|
bool is_editing() const { return m_edition_level!= 0; }
|
2012-01-31 20:12:06 +01:00
|
|
|
|
|
|
|
private:
|
2012-02-08 00:41:10 +01:00
|
|
|
friend class scoped_edition;
|
|
|
|
void begin_edition();
|
|
|
|
void end_edition();
|
|
|
|
|
|
|
|
int m_edition_level;
|
2012-01-31 20:12:06 +01:00
|
|
|
|
|
|
|
void check_invariant() const;
|
|
|
|
|
|
|
|
friend class IncrementalInserter;
|
2012-02-08 00:41:10 +01:00
|
|
|
virtual void on_incremental_insertion_begin() {}
|
|
|
|
virtual void on_incremental_insertion_end() {}
|
2012-01-31 20:12:06 +01:00
|
|
|
|
2012-11-04 23:39:25 +01:00
|
|
|
safe_ptr<Buffer> m_buffer;
|
2012-12-11 19:51:59 +01:00
|
|
|
DynamicSelectionList m_selections;
|
|
|
|
FilterGroup m_filters;
|
2012-01-31 20:12:06 +01:00
|
|
|
};
|
|
|
|
|
2012-02-08 00:41:10 +01:00
|
|
|
struct scoped_edition
|
|
|
|
{
|
|
|
|
scoped_edition(Editor& editor)
|
|
|
|
: m_editor(editor)
|
|
|
|
{ m_editor.begin_edition(); }
|
|
|
|
|
|
|
|
~scoped_edition()
|
|
|
|
{ m_editor.end_edition(); }
|
|
|
|
private:
|
|
|
|
Editor& m_editor;
|
|
|
|
};
|
|
|
|
|
2012-01-31 20:12:06 +01:00
|
|
|
// An IncrementalInserter manage insert mode
|
|
|
|
class IncrementalInserter
|
|
|
|
{
|
|
|
|
public:
|
2012-09-26 14:22:24 +02:00
|
|
|
IncrementalInserter(Editor& editor, InsertMode mode = InsertMode::Insert);
|
2012-01-31 20:12:06 +01:00
|
|
|
~IncrementalInserter();
|
|
|
|
|
2012-11-19 13:40:23 +01:00
|
|
|
void insert(String content);
|
2012-06-29 18:35:48 +02:00
|
|
|
void insert(const memoryview<String>& strings);
|
2012-01-31 20:12:06 +01:00
|
|
|
void erase();
|
2012-11-26 19:38:07 +01:00
|
|
|
void move_cursors(CharCount move);
|
|
|
|
void move_cursors(LineCount move);
|
2012-01-31 20:12:06 +01:00
|
|
|
|
2012-02-02 21:48:03 +01:00
|
|
|
Buffer& buffer() const { return m_editor.buffer(); }
|
2012-10-01 14:23:04 +02:00
|
|
|
Editor& editor() const { return m_editor; }
|
2012-02-02 21:48:03 +01:00
|
|
|
|
2012-01-31 20:12:06 +01:00
|
|
|
private:
|
2012-09-26 14:22:24 +02:00
|
|
|
InsertMode m_mode;
|
|
|
|
Editor& m_editor;
|
2012-02-08 00:41:10 +01:00
|
|
|
scoped_edition m_edition;
|
2012-01-31 20:12:06 +01:00
|
|
|
};
|
|
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
#endif // editor_hh_INCLUDED
|
|
|
|
|