From 93b561983a7ff4b9e760c4c20a16aa28f9f2037f Mon Sep 17 00:00:00 2001 From: Maxime Coste Date: Sat, 14 Dec 2013 14:38:05 +0000 Subject: [PATCH] Rename MultiSelector to Selector --- src/editor.cc | 2 +- src/editor.hh | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/src/editor.cc b/src/editor.cc index 95b4c0f5..344acf5f 100644 --- a/src/editor.cc +++ b/src/editor.cc @@ -184,7 +184,7 @@ struct nothing_selected : public runtime_error nothing_selected() : runtime_error("nothing was selected") {} }; -void Editor::select(const MultiSelector& selector) +void Editor::select(const Selector& selector) { selector(*m_buffer, m_selections); check_invariant(); diff --git a/src/editor.hh b/src/editor.hh index ac6382d8..d98b4ae2 100644 --- a/src/editor.hh +++ b/src/editor.hh @@ -39,7 +39,7 @@ enum class InsertMode : unsigned class Editor : public SafeCountable { public: - typedef std::function MultiSelector; + typedef std::function Selector; Editor(Buffer& buffer); virtual ~Editor() {} @@ -62,7 +62,7 @@ public: void select(const Selection& sel, SelectMode mode = SelectMode::Replace); void select(SelectionList selections); - void select(const MultiSelector& selector); + void select(const Selector& selector); void rotate_selections(int count) { m_selections.rotate_main(count); }