From 8ec37855bc2f710adf768342fdb7a16d4b92e6e7 Mon Sep 17 00:00:00 2001 From: Peter Nelson Date: Mon, 18 Mar 2024 19:55:31 +0000 Subject: [PATCH] Codefix: Widget should be passed as WidgetID type. --- src/window_gui.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/window_gui.h b/src/window_gui.h index 19bf4d0334..0993b4c95f 100644 --- a/src/window_gui.h +++ b/src/window_gui.h @@ -476,7 +476,7 @@ public: * Marks a widget as raised and dirty (redraw), when it is marked as lowered. * @param widget_index index of this widget in the window */ - inline void RaiseWidgetWhenLowered(uint8_t widget_index) + inline void RaiseWidgetWhenLowered(WidgetID widget_index) { if (this->IsWidgetLowered(widget_index)) { this->RaiseWidget(widget_index);