Reload piece images when pngDirectory is changed
[xboard.git] / dialogs.h
index 95dd442..64b9552 100644 (file)
--- a/dialogs.h
+++ b/dialogs.h
@@ -129,7 +129,7 @@ extern void *userLogo;
 extern WindowPlacement wpComment, wpTags, wpMoveHistory, wpMain;
 extern char *marked[];
 extern Boolean shellUp[];
-extern Option textOptions[], typeOptions[];
+extern Option textOptions[], typeOptions[], dualOptions[], mainOptions[];
 
 
 int DialogExists P((DialogClass n));
@@ -164,7 +164,7 @@ void DisplayLogos P((void *left, void *right));
 void Browse P((DialogClass dlg, char *label, char *proposed, char *ext,
                        Boolean pathFlag, char *mode, char **name, FILE **fp));
 
-void InitDrawingParams P(()); // in xboard.c
+void InitDrawingParams P((int reload)); // in draw.c
 void DrawLogo P((void *handle, void *logo));
 void ErrorPopUp P((char *title, char *text, int modal));
 int  ShiftKeys P((void));