extern char commentTranslations[];
extern char historyTranslations[];
-extern Pixel timerBackgroundPixel;
+//extern Pixel timerBackgroundPixel;
extern int values[];
extern ChessProgramState *currentCps;
extern int dialogError;
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));
void MarkMenu P((char *item, int dlgNr));
int AppendText P((Option *opt, char *s));
void SetColor P((char *colorName, Option *box));
-void ColorChanged P((Widget w, XtPointer data, XEvent *event, Boolean *b));
+//void ColorChanged P((Widget w, XtPointer data, XEvent *event, Boolean *b));
void SetInsertPos P((Option *opt, int pos));
void HardSetFocus P((Option *opt));
void GetWidgetText P((Option *opt, char **buf));
void SetScroll P((Option *opt, float f));
void AddHandler P((Option *opt, int nr));
void SendText P((int n));
-void DisplayLogos P((void *left, void *right));
+void DisplayLogos P((Option *left, Option *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 DrawLogo P((void *handle, void *logo));
+void InitDrawingParams P((int reload)); // in draw.c
+void InitDrawingHandle P((Option *opt));
+void ExposeRedraw P((Option *opt, int x, int y, int w, int h));
+void DrawLogo P((Option *opt, void *logo));
void ErrorPopUp P((char *title, char *text, int modal));
int ShiftKeys P((void));
void SetClockIcon P((int color));