diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2012-10-22 13:20:02 +0200 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2012-10-22 13:20:02 +0200 |
| commit | 98b661865856ea7a6ed74a922197b506b1eae8da (patch) | |
| tree | 4a3e80f0ec35bed8ef05a605edbc8da4328f5759 /src/display_buffer.hh | |
| parent | 6b2f8ed70c5514d7580d5f6a772c097f041b0d97 (diff) | |
merge contiguous DisplayAtoms after highlighting DisplayBuffer
Diffstat (limited to 'src/display_buffer.hh')
| -rw-r--r-- | src/display_buffer.hh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/display_buffer.hh b/src/display_buffer.hh index 884d45b0..385ad94b 100644 --- a/src/display_buffer.hh +++ b/src/display_buffer.hh @@ -144,6 +144,7 @@ public: iterator insert(iterator it, DisplayAtom atom) { return m_atoms.insert(it, std::move(atom)); } void push_back(DisplayAtom atom) { m_atoms.push_back(std::move(atom)); } + void optimize(); private: LineCount m_buffer_line; AtomList m_atoms; @@ -162,11 +163,11 @@ public: // returns the smallest BufferIterator range which contains every DisplayAtoms const BufferRange& range() const { return m_range; } + void optimize(); void compute_range(); private: LineList m_lines; - BufferRange m_range; }; |
