diff options
| author | Maxime Coste <mawww@kakoune.org> | 2019-01-22 21:04:29 +1100 |
|---|---|---|
| committer | Maxime Coste <mawww@kakoune.org> | 2019-01-23 20:20:54 +1100 |
| commit | 36e9e7eaf9e7694427ecd11f357ca1712f0d8632 (patch) | |
| tree | 33d48aa8554afc4cd699a7e2b97d8ff83e1b427b /src/selection.hh | |
| parent | 370d10ccc7b19fee5d10332a7c6b934376ed2df7 (diff) | |
Change pipe diffing to work linewise
This should greatly improve performances as we only need to diff
lines instead of individual characters.
Closes #2678
Fixes #2037
Diffstat (limited to 'src/selection.hh')
| -rw-r--r-- | src/selection.hh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/selection.hh b/src/selection.hh index 510f999b..493a01b4 100644 --- a/src/selection.hh +++ b/src/selection.hh @@ -140,6 +140,7 @@ struct SelectionList Buffer& buffer() const { return *m_buffer; } size_t timestamp() const { return m_timestamp; } + void force_timestamp(size_t timestamp) { m_timestamp = timestamp; } void insert(ConstArrayView<String> strings, InsertMode mode, Vector<BufferCoord>* out_insert_pos = nullptr); |