Fix erasing of premove highlights XB

[xboard.git] / menus.h

diff --git a/menus.h b/menus.h
index 0d82f89..be19f6c 100644 (file)
--- a/menus.h
+++ b/menus.h
@@ -185,6 +185,8 @@ void EnableButtonBar P((int state));
 char *ModeToWidgetName P((GameMode mode));
 void CreateAnimVars P((void));
 void CopySomething P((char *s));
+void EditEnginePopUp P((char *tags, char **dest));
+
 
 
 extern char  *gameCopyFilename, *gamePasteFilename;