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.hh | |
| parent | c7876c9b4b14a72859f139e8a4de8130c1ed17b8 (diff) | |
Dont consider OptionManager watcher list as part of the state of the option manager
Diffstat (limited to 'src/option_manager.hh')
| -rw-r--r-- | src/option_manager.hh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/option_manager.hh b/src/option_manager.hh index d4d50daf..cff6f34f 100644 --- a/src/option_manager.hh +++ b/src/option_manager.hh @@ -91,8 +91,8 @@ public: using OptionList = Vector<const Option*>; OptionList flatten_options() const; - void register_watcher(OptionManagerWatcher& watcher); - void unregister_watcher(OptionManagerWatcher& watcher); + void register_watcher(OptionManagerWatcher& watcher) const; + void unregister_watcher(OptionManagerWatcher& watcher) const; void on_option_changed(const Option& option) override; private: @@ -105,7 +105,7 @@ private: Vector<std::unique_ptr<Option>, MemoryDomain::Options> m_options; OptionManager* m_parent; - Vector<OptionManagerWatcher*, MemoryDomain::Options> m_watchers; + mutable Vector<OptionManagerWatcher*, MemoryDomain::Options> m_watchers; }; template<typename T> |