From b1637119637e2dc3e10635a08ac06e256018ea78 Mon Sep 17 00:00:00 2001
From: Maxime Coste <frrrwww@gmail.com>
Date: Tue, 23 Oct 2012 22:55:04 +0200
Subject: [PATCH] DisplayBuffer: store lines in a vector, not a list

---
 src/display_buffer.hh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/display_buffer.hh b/src/display_buffer.hh
index 0fce7ab4..869ef7a6 100644
--- a/src/display_buffer.hh
+++ b/src/display_buffer.hh
@@ -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; }