DisplayBuffer: store lines in a vector, not a list

This commit is contained in:
Maxime Coste 2012-10-23 22:55:04 +02:00
parent 227c66cf61
commit b163711963

View File

@ -155,7 +155,7 @@ using BufferRange = std::pair<BufferIterator, BufferIterator>;
class DisplayBuffer
{
public:
using LineList = std::list<DisplayLine>;
using LineList = std::vector<DisplayLine>;
DisplayBuffer() {}
LineList& lines() { return m_lines; }