XtSetArg(args[1], XtNforeground, &buttonForegroundPixel);
XtGetValues(optList[18].handle, args, 2);
}
+ AppendEnginesToMenu(appData.recentEngineList);
xBoardWindow = XtWindow(boardWidget);
}
void
+AppendMenuItem (char *msg, int n)
+{
+ CreateMenuItem((Widget) optList[6].textValue, msg, (XtCallbackProc) MenuEngineSelect, n);
+}
+
+void
SetupDropMenu ()
{
int i, j, count;