From 174346e1138d2f9f3e289333381caf3e3e82999f Mon Sep 17 00:00:00 2001
From: Bastien Nocera <hadess@hadess.net>
Date: Tue, 12 Aug 2025 21:09:30 +0200
Subject: [PATCH] FIX: Fix missing wxTimer declaration
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

src/slic3r/GUI/DeviceCore/DevManager.h:108:5: error: ‘wxTimer’ does not name a type
  108 |     wxTimer* m_timer{ nullptr };
      |     ^~~~~~~

(cherry picked from commit be709a977ea47380135606cccfab325cc5bb9df1)
---
 src/slic3r/GUI/DeviceCore/DevManager.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/slic3r/GUI/DeviceCore/DevManager.h b/src/slic3r/GUI/DeviceCore/DevManager.h
index 46138f2117..5dd3412b06 100644
--- a/src/slic3r/GUI/DeviceCore/DevManager.h
+++ b/src/slic3r/GUI/DeviceCore/DevManager.h
@@ -4,6 +4,7 @@
 
 #include "slic3r/Utils/json_diff.hpp"
 #include <wx/string.h>
+#include <wx/timer.h>
 
 namespace Slic3r
 {