diff options
| author | Maxime Coste <mawww@kakoune.org> | 2020-01-02 21:13:43 +1100 |
|---|---|---|
| committer | Maxime Coste <mawww@kakoune.org> | 2020-01-02 21:13:43 +1100 |
| commit | 43dc494e5cfac649c8f242b940a656adcae906db (patch) | |
| tree | b73d5cbb3e05b4d35b9d3cedc16bc60586c79531 /src/buffer_utils.hh | |
| parent | f2159750d28153b68b244d2bdcc3905e0efa425d (diff) | |
| parent | b03b51d27ace58cc17eb8a3aec99fa20dd3209ab (diff) | |
Merge remote-tracking branch 'eraserhd/history-api'
Diffstat (limited to 'src/buffer_utils.hh')
| -rw-r--r-- | src/buffer_utils.hh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/buffer_utils.hh b/src/buffer_utils.hh index a3e43068..a7589864 100644 --- a/src/buffer_utils.hh +++ b/src/buffer_utils.hh @@ -84,6 +84,11 @@ void reload_file_buffer(Buffer& buffer); void write_to_debug_buffer(StringView str); +InplaceString<23> to_string(Buffer::HistoryId id); +String format_modification(const Buffer::Modification& modification, Quoting quoting); +String history_as_string(const Vector<Buffer::HistoryNode>& history, Quoting quoting); +String undo_group_as_string(const Buffer::UndoGroup& undo_group, Quoting quoting); + } #endif // buffer_utils_hh_INCLUDED |