diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2012-04-03 13:39:20 +0000 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2012-04-03 13:39:20 +0000 |
| commit | f3dd65fbf193ef4e53a58919cb14264b376cd1b0 (patch) | |
| tree | 82abc79eced732f55f82c6aa2c130afe20632a46 /src/buffer.cc | |
| parent | c8447658c0997aeddbe2b6e77283492830869b02 (diff) | |
add an OptionManager class and use it to manage tabstops
OptionManager map names to options, and may delegate option resolution
to it's parent if it does not contains the asked for option. That way
Buffers can override global options, and Windows can override Buffer
options.
Diffstat (limited to 'src/buffer.cc')
| -rw-r--r-- | src/buffer.cc | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/buffer.cc b/src/buffer.cc index 13aa5b00..060f55c4 100644 --- a/src/buffer.cc +++ b/src/buffer.cc @@ -26,7 +26,8 @@ Buffer::Buffer(const std::string& name, Type type, const String& initial_content) : m_name(name), m_type(type), m_history(1), m_history_cursor(m_history.begin()), - m_last_save_undo_index(0) + m_last_save_undo_index(0), + m_option_manager(GlobalOptionManager::instance()) { BufferManager::instance().register_buffer(this); if (not initial_content.empty()) |