7e660450ed
This PR aims to implement a more complete undo/redo stack that, unlike the old one, also supports undoing insertions, deletions and resize operations |
||
|---|---|---|
| .. | ||
| undo_redo | ||
| buffered_reader.hpp | ||
| overlay.hpp | ||
| provider_data.hpp | ||
| provider.hpp | ||