2012-01-31 20:12:06 +01:00
|
|
|
#ifndef editor_hh_INCLUDED
|
|
|
|
#define editor_hh_INCLUDED
|
|
|
|
|
|
|
|
#include "buffer.hh"
|
|
|
|
#include "selection.hh"
|
|
|
|
#include "filter.hh"
|
|
|
|
#include "idvaluemap.hh"
|
|
|
|
#include "hooks_manager.hh"
|
|
|
|
|
|
|
|
namespace Kakoune
|
|
|
|
{
|
|
|
|
|
|
|
|
class IncrementalInserter;
|
|
|
|
|
|
|
|
// 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.
|
|
|
|
class Editor
|
|
|
|
{
|
|
|
|
public:
|
|
|
|
typedef BufferString String;
|
|
|
|
typedef std::function<Selection (const BufferIterator&)> Selector;
|
|
|
|
typedef std::function<SelectionList (const Selection&)> MultiSelector;
|
|
|
|
|
|
|
|
Editor(Buffer& buffer);
|
|
|
|
virtual ~Editor() {}
|
|
|
|
|
|
|
|
Buffer& buffer() const { return m_buffer; }
|
|
|
|
|
|
|
|
void erase();
|
|
|
|
void insert(const String& string);
|
|
|
|
void append(const String& string);
|
|
|
|
void replace(const String& string);
|
|
|
|
|
|
|
|
void push_selections();
|
|
|
|
void pop_selections();
|
|
|
|
|
|
|
|
void move_selections(const BufferCoord& offset, bool append = false);
|
|
|
|
void clear_selections();
|
|
|
|
void keep_selection(int index);
|
|
|
|
void select(const BufferIterator& iterator);
|
|
|
|
void select(const Selector& selector, bool append = false);
|
|
|
|
void multi_select(const MultiSelector& selector);
|
|
|
|
|
|
|
|
BufferString selection_content() const;
|
|
|
|
const SelectionList& selections() const { return m_selections.back(); }
|
|
|
|
|
|
|
|
bool undo();
|
|
|
|
bool redo();
|
|
|
|
|
|
|
|
void add_filter(FilterAndId&& filter);
|
|
|
|
void remove_filter(const std::string& id);
|
|
|
|
|
|
|
|
CandidateList complete_filterid(const std::string& prefix,
|
|
|
|
size_t cursor_pos = std::string::npos);
|
|
|
|
|
2012-02-03 14:55:22 +01:00
|
|
|
void begin_batch();
|
|
|
|
void end_batch();
|
|
|
|
bool is_in_batch() const { return m_batch_level != 0; }
|
2012-01-31 20:12:06 +01:00
|
|
|
|
|
|
|
private:
|
|
|
|
void erase_noundo();
|
|
|
|
void insert_noundo(const String& string);
|
|
|
|
void append_noundo(const String& string);
|
|
|
|
|
|
|
|
SelectionList& selections() { return m_selections.back(); }
|
|
|
|
|
|
|
|
void check_invariant() const;
|
|
|
|
|
|
|
|
friend class IncrementalInserter;
|
2012-02-03 14:55:22 +01:00
|
|
|
int m_batch_level;
|
2012-01-31 20:12:06 +01:00
|
|
|
|
2012-02-03 14:55:22 +01:00
|
|
|
virtual void on_begin_batch() {}
|
|
|
|
virtual void on_end_batch() {}
|
2012-01-31 20:12:06 +01:00
|
|
|
|
|
|
|
|
|
|
|
Buffer& m_buffer;
|
|
|
|
std::vector<SelectionList> m_selections;
|
|
|
|
idvaluemap<std::string, FilterFunc> m_filters;
|
|
|
|
};
|
|
|
|
|
|
|
|
// An IncrementalInserter manage insert mode
|
|
|
|
class IncrementalInserter
|
|
|
|
{
|
|
|
|
public:
|
|
|
|
enum class Mode
|
|
|
|
{
|
|
|
|
Insert,
|
|
|
|
Append,
|
|
|
|
Change,
|
|
|
|
InsertAtLineBegin,
|
|
|
|
AppendAtLineEnd,
|
|
|
|
OpenLineBelow,
|
|
|
|
OpenLineAbove
|
|
|
|
};
|
|
|
|
|
|
|
|
IncrementalInserter(Editor& editor, Mode mode = Mode::Insert);
|
|
|
|
~IncrementalInserter();
|
|
|
|
|
|
|
|
void insert(const Editor::String& string);
|
|
|
|
void insert_capture(size_t index);
|
|
|
|
void erase();
|
|
|
|
void move_cursors(const BufferCoord& offset);
|
|
|
|
|
2012-02-02 21:48:03 +01:00
|
|
|
Buffer& buffer() const { return m_editor.buffer(); }
|
|
|
|
|
2012-01-31 20:12:06 +01:00
|
|
|
private:
|
|
|
|
void apply(Modification&& modification) const;
|
|
|
|
|
|
|
|
Editor& m_editor;
|
|
|
|
};
|
|
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
#endif // editor_hh_INCLUDED
|
|
|
|
|