diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2013-10-21 18:57:19 +0100 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2013-10-21 18:57:19 +0100 |
| commit | 60dbec49490981e4c7c8d2c2a4da98dc954a610c (patch) | |
| tree | 341126db458bc017489aa06e788b798e4ac6ef05 /src/buffer.hh | |
| parent | 9e9b503f5d9bd5989e0b5b700bdf72661e821bde (diff) | |
Add Buffer::reload for reloading buffers without loosing options and hooks
Diffstat (limited to 'src/buffer.hh')
| -rw-r--r-- | src/buffer.hh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/buffer.hh b/src/buffer.hh index cf537749..4b67ce48 100644 --- a/src/buffer.hh +++ b/src/buffer.hh @@ -163,6 +163,8 @@ public: std::unordered_set<BufferChangeListener*>& change_listeners() const { return m_change_listeners; } + void reload(std::vector<String> lines, time_t fs_timestamp = InvalidTime); + void check_invariant() const; private: struct Line |