From 43d952779ab99be6b4cd6d935b89378d0a832896 Mon Sep 17 00:00:00 2001
From: Jurriaan Pruis <email@jurriaanpruis.nl>
Date: Fri, 15 Oct 2021 10:44:19 +0200
Subject: [PATCH] Fix missing `wx/timer.h` header compile issue

Tried to compile the latest git version on my system and got an error that wxTimer could not be found. Fixed it by adding in the header.

cc @kocikdav
---
 src/slic3r/GUI/Preferences.hpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/slic3r/GUI/Preferences.hpp b/src/slic3r/GUI/Preferences.hpp
index fdfa39455..01f116760 100644
--- a/src/slic3r/GUI/Preferences.hpp
+++ b/src/slic3r/GUI/Preferences.hpp
@@ -5,6 +5,7 @@
 #include "GUI_Utils.hpp"
 
 #include <wx/dialog.h>
+#include <wx/timer.h>
 #include <map>
 
 class wxColourPickerCtrl;