added a "Mute All Sounds" item in the WinBoard Options menu, on Eric's request

[xboard.git] / backend.h

diff --git a/backend.h b/backend.h
index c687701..d850ff7 100644 (file)
--- a/backend.h
+++ b/backend.h
@@ -93,7 +93,7 @@
 
 extern int gotPremove;
 extern GameMode gameMode;
-extern int pausing, cmailMsgLoaded, flipView;
+extern int pausing, cmailMsgLoaded, flipView, mute;
 extern char white_holding[], black_holding[];
 extern int currentMove, backwardMostMove, forwardMostMove;
 extern int blackPlaysFirst;