diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2013-01-31 18:58:25 +0100 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2013-01-31 18:58:25 +0100 |
| commit | edef8e4e981c8bcacf9a611ce6859af5f5c1f2b1 (patch) | |
| tree | a963903a48ef4a1350f8bbf8bd8f625f19fd8a94 /src/editor.cc | |
| parent | 7f02ef334f00ef00afeef2ebd6e6d73f87d70d63 (diff) | |
Remove Set and use unordered_set
Diffstat (limited to 'src/editor.cc')
| -rw-r--r-- | src/editor.cc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/editor.cc b/src/editor.cc index 0a19d5a8..70ac6068 100644 --- a/src/editor.cc +++ b/src/editor.cc @@ -319,10 +319,10 @@ class LastModifiedRangeListener : public BufferChangeListener public: LastModifiedRangeListener(Buffer& buffer) : m_buffer(buffer) - { m_buffer.change_listeners().add(this); } + { m_buffer.change_listeners().insert(this); } ~LastModifiedRangeListener() - { m_buffer.change_listeners().remove(this); } + { m_buffer.change_listeners().erase(this); } void on_insert(const BufferIterator& begin, const BufferIterator& end) { |