From 69683eecb8b6baa937755bc940a3220c2465d83e Mon Sep 17 00:00:00 2001
From: Jonathan G Rennison <j.g.rennison@gmail.com>
Date: Fri, 18 Aug 2023 18:45:30 +0100
Subject: [PATCH] Use ring buffer for console buffer

---
 src/console_gui.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/console_gui.cpp b/src/console_gui.cpp
index b3af793acc..58bc778cf4 100644
--- a/src/console_gui.cpp
+++ b/src/console_gui.cpp
@@ -21,7 +21,7 @@
 #include "console_func.h"
 #include "rev.h"
 #include "video/video_driver.hpp"
-#include <deque>
+#include "core/ring_buffer.hpp"
 #include <string>
 
 #include "widgets/console_widget.h"
@@ -65,7 +65,7 @@ struct IConsoleLine {
 };
 
 /** The console backlog buffer. Item index 0 is the newest line. */
-static std::deque<IConsoleLine> _iconsole_buffer;
+static ring_buffer<IConsoleLine> _iconsole_buffer;
 
 static bool TruncateBuffer();