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 | |
| parent | a30b3e1343cca910b5a00df48ab39378e9d7a067 (diff) | |
Window,Buffer: add const overload for {option,hook}_manager
Diffstat (limited to 'src')
| -rw-r--r-- | src/buffer.hh | 6 | ||||
| -rw-r--r-- | src/window.hh | 7 |
2 files changed, 9 insertions, 4 deletions
diff --git a/src/buffer.hh b/src/buffer.hh index cc09831b..5f171e75 100644 --- a/src/buffer.hh +++ b/src/buffer.hh @@ -178,8 +178,10 @@ public: const String& line_content(size_t l) const { return m_lines[l].content; } - OptionManager& option_manager() { return m_option_manager; } - HookManager& hook_manager() { return m_hook_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 BufferIterator; 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; |
