|
teditor
1.8.0@@fee5e94
Terminal based editor written in C++
|
The state before/after applying insertion/deletion operations on the Buffer object. More...
#include <buffer.h>
Public Attributes | |
| Point | before |
| Point | after |
| std::string | str |
| RemovedLines | rlines |
| OpType | type |
The state before/after applying insertion/deletion operations on the Buffer object.
| Point teditor::Buffer::OpData::after |
till where the operation was performed
| Point teditor::Buffer::OpData::before |
from where the operation started
| RemovedLines teditor::Buffer::OpData::rlines |
for keep/remove lines
| std::string teditor::Buffer::OpData::str |
characters that were inserted/deleted in the above range
| OpType teditor::Buffer::OpData::type |
type of operation
1.8.17