diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2014-09-22 19:19:34 +0100 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2014-09-22 19:19:34 +0100 |
| commit | e440adbcf440ca59c68a65bad9213c313b9a0f7d (patch) | |
| tree | c131c201ca5fe7dfa9929b0429a0e7006bedd6c3 /src/buffer.hh | |
| parent | 1296b5d46acc7d4e2951b794b9986c08479f1100 (diff) | |
add a 'buffers' debug command to get info on alive buffers
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 375b83de..17e0e4c7 100644 --- a/src/buffer.hh +++ b/src/buffer.hh @@ -172,6 +172,8 @@ public: bool at_end; }; memoryview<Change> changes_since(size_t timestamp) const; + + String debug_description() const; private: void on_option_changed(const Option& option) override; |