src/window.h
changeset 8026 a188ea8201ce
parent 8019 fc0e94dee165
child 8031 5e19ea672f5c
--- a/src/window.h	Fri Dec 07 12:22:34 2007 +0000
+++ b/src/window.h	Fri Dec 07 17:42:15 2007 +0000
@@ -297,7 +297,7 @@
 	void CDECL SetWidgetsDisabledState(bool disab_stat, int widgets, ...);
 	void CDECL SetWidgetsHiddenState(bool hidden_stat, int widgets, ...);
 	void CDECL SetWidgetsLoweredState(bool lowered_stat, int widgets, ...);
-	void InvalidateWidget(byte widget_index);
+	void InvalidateWidget(byte widget_index) const;
 };
 
 struct querystr_d {