diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2012-08-10 14:21:01 +0200 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2012-08-10 14:21:01 +0200 |
| commit | e5c46d7c45d35b79d804c34a4ece271d424f66ed (patch) | |
| tree | 9fedbf6f4b0fac1fa6d776aa6c1d39f7be6d086c /src/window.hh | |
| parent | a30b3e1343cca910b5a00df48ab39378e9d7a067 (diff) | |
Window,Buffer: add const overload for {option,hook}_manager
Diffstat (limited to 'src/window.hh')
| -rw-r--r-- | src/window.hh | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/src/window.hh b/src/window.hh index d36755fe..455830e5 100644 --- a/src/window.hh +++ b/src/window.hh @@ -36,8 +36,11 @@ public: HighlighterGroup& highlighters() { return m_highlighters; } - HookManager& hook_manager() { return m_hook_manager; } - OptionManager& option_manager() { return m_option_manager; } + OptionManager& option_manager() { return m_option_manager; } + const OptionManager& option_manager() const { return m_option_manager; } + HookManager& hook_manager() { return m_hook_manager; } + const HookManager& hook_manager() const { return m_hook_manager; } + private: friend class Buffer; |
