From 84cc89ff3bbe952f4bb6cc5585dd8997618d7d57 Mon Sep 17 00:00:00 2001 From: luzpaz Date: Tue, 22 Jul 2025 11:35:28 -0400 Subject: [PATCH] Gui: Add header to InputHint.h (Fixes #22654) Fixes #22654 --- src/Gui/InputHint.h | 1 + 1 file changed, 1 insertion(+) diff --git a/src/Gui/InputHint.h b/src/Gui/InputHint.h index 0fd39676cb..a3282e65a7 100644 --- a/src/Gui/InputHint.h +++ b/src/Gui/InputHint.h @@ -30,6 +30,7 @@ #include #include +#include namespace Gui {