diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2016-08-21 20:24:18 +0100 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2016-08-21 20:24:18 +0100 |
| commit | 0de4fc75d036c2d1db430079cc6f7b87a9492ed4 (patch) | |
| tree | c407142e303409d8f4dd8d954e85441c9e6f335c /src/option_manager.cc | |
| parent | c7876c9b4b14a72859f139e8a4de8130c1ed17b8 (diff) | |
Dont consider OptionManager watcher list as part of the state of the option manager
Diffstat (limited to 'src/option_manager.cc')
| -rw-r--r-- | src/option_manager.cc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/option_manager.cc b/src/option_manager.cc index 7c98daff..c510dff8 100644 --- a/src/option_manager.cc +++ b/src/option_manager.cc @@ -26,13 +26,13 @@ OptionManager::~OptionManager() kak_assert(m_watchers.empty()); } -void OptionManager::register_watcher(OptionManagerWatcher& watcher) +void OptionManager::register_watcher(OptionManagerWatcher& watcher) const { kak_assert(not contains(m_watchers, &watcher)); m_watchers.push_back(&watcher); } -void OptionManager::unregister_watcher(OptionManagerWatcher& watcher) +void OptionManager::unregister_watcher(OptionManagerWatcher& watcher) const { auto it = find(m_watchers.begin(), m_watchers.end(), &watcher); kak_assert(it != m_watchers.end()); |