Fix debris after click-click explosion near board edge

[xboard.git] / frontend.h

diff --git a/frontend.h b/frontend.h
index b06484f..8bdf558 100644 (file)
--- a/frontend.h
+++ b/frontend.h
@@ -215,6 +215,8 @@ void CopyFENToClipboard P((void));
 extern char *programName;
 extern int commentUp;
 extern char *firstChessProgramNames;
+extern char *icsTextMenuString;
+extern int mute;
 
 void GreyRevert P((Boolean grey));
 void EnableNamedMenuItem P((char *menuRef, int state));