diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2012-04-14 01:17:09 +0000 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2012-04-14 01:17:09 +0000 |
| commit | 93379384036dadada06139245d1e4eca13cabebd (patch) | |
| tree | 0f5475fd2c7fc212982d881b67444b20a0f8f809 /src/editor.cc | |
| parent | af5c528f043f663b94ce197b0c70ddb3da9224e8 (diff) | |
replace std::string references with String
Diffstat (limited to 'src/editor.cc')
| -rw-r--r-- | src/editor.cc | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/editor.cc b/src/editor.cc index c0bb6f76..d1253705 100644 --- a/src/editor.cc +++ b/src/editor.cc @@ -72,7 +72,7 @@ void Editor::append(const memoryview<String>& strings) do_insert<true>(*this, strings); } -void Editor::replace(const std::string& string) +void Editor::replace(const String& string) { scoped_edition edition(*this); erase(); @@ -228,7 +228,7 @@ void Editor::check_invariant() const struct id_not_unique : public runtime_error { - id_not_unique(const std::string& id) + id_not_unique(const String& id) : runtime_error("id not unique: " + id) {} }; @@ -239,12 +239,12 @@ void Editor::add_filter(FilterAndId&& filter) m_filters.append(std::forward<FilterAndId>(filter)); } -void Editor::remove_filter(const std::string& id) +void Editor::remove_filter(const String& id) { m_filters.remove(id); } -CandidateList Editor::complete_filterid(const std::string& prefix, +CandidateList Editor::complete_filterid(const String& prefix, size_t cursor_pos) { return m_filters.complete_id<str_to_str>(prefix, cursor_pos); |
