X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=menus.h;h=be19f6c370875aa117263a583a78e2a5023b5ae4;hb=78b46cdffd8cd0896c6d3a8815d6b651217be910;hp=0d82f89f100654f15fe88cb891262683a69207ac;hpb=0278ebc80411a20fd23303156285e55ce8d2b0a5;p=xboard.git

diff --git a/menus.h b/menus.h
index 0d82f89..be19f6c 100644
--- 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;