fixed exiting players with custom elements when playing multi-player games
[rocksndiamonds.git] / src / libgame / gadgets.h
index 0fec5b689b1eafd4a2cc5cc126dbf06d410659ae..5102b792dc81e3d1784a852d2de0618c625af7dc 100644 (file)
@@ -291,4 +291,7 @@ void ClickOnGadget(struct GadgetInfo *, int);
 boolean HandleGadgets(int, int, int);
 boolean HandleGadgetsKeyInput(Key);
 
+void DumpGadgetIdentifiers(void);
+boolean DoGadgetAction(int);
+
 #endif /* GADGETS_H */