#else
&clockFonStruct);
#endif
- boardWidget = optList[22].handle;
- menuBarWidget = optList[ 0].handle;
- dropMenu = optList[25].handle;
- titleWidget = optList[optList[10].type != -1 ? 10 : 13].handle;
+ boardWidget = optList[W_BOARD].handle;
+ menuBarWidget = optList[W_MENU].handle;
+ dropMenu = optList[W_DROP].handle;
+ titleWidget = optList[optList[W_TITLE].type != -1 ? W_TITLE : W_SMALL].handle;
formWidget = XtParent(boardWidget);
XtSetArg(args[0], XtNbackground, &timerBackgroundPixel);
XtSetArg(args[1], XtNforeground, &timerForegroundPixel);
- XtGetValues(optList[11].handle, args, 2);
+ XtGetValues(optList[W_WHITE].handle, args, 2);
if (appData.showButtonBar) { // can't we use timer pixels for this? (Or better yet, just black & white?)
XtSetArg(args[0], XtNbackground, &buttonBackgroundPixel);
XtSetArg(args[1], XtNforeground, &buttonForegroundPixel);
- XtGetValues(optList[18].handle, args, 2);
+ XtGetValues(optList[W_PAUSE].handle, args, 2);
}
AppendEnginesToMenu(appData.recentEngineList);
void
EnableButtonBar (int state)
{
- XtSetSensitive(optList[15].handle, state);
+ XtSetSensitive(optList[W_BUTTON].handle, state);
}
void
AppendMenuItem (char *msg, int n)
{
- CreateMenuItem((Widget) optList[6].textValue, msg, (XtCallbackProc) MenuEngineSelect, n);
+ CreateMenuItem((Widget) optList[W_ENGIN].textValue, msg, (XtCallbackProc) MenuEngineSelect, n);
}
void
{
if (frozen) return;
/* Grab by a widget that doesn't accept input */
- XtAddGrab(optList[14].handle, TRUE, FALSE);
+ XtAddGrab(optList[W_MESSG].handle, TRUE, FALSE);
frozen = 1;
}
ThawUI ()
{
if (!frozen) return;
- XtRemoveGrab(optList[14].handle);
+ XtRemoveGrab(optList[W_MESSG].handle);
frozen = 0;
}
Pixel oldbg, oldfg;
XtSetArg(args[0], XtNbackground, &oldbg);
XtSetArg(args[1], XtNforeground, &oldfg);
- XtGetValues(optList[18].handle,
+ XtGetValues(optList[W_PAUSE].handle,
args, 2);
XtSetArg(args[0], XtNbackground, oldfg);
XtSetArg(args[1], XtNforeground, oldbg);
}
- XtSetValues(optList[18].handle, args, 2);
+ XtSetValues(optList[W_PAUSE].handle, args, 2);
}
}