-static void
-ResizeGameArea(Widget form, XEvent *e, String *args, Cardinal *num_args)
-{
- Widget game = XtNameToWidget(form, &tree_strtab[gameArea]);
- Widget goal = XtNameToWidget(form, &tree_strtab[goalArea]);
- Dimension w, h, gamesz, gameborder, goalsz, goalborder;
- int x, y, gap;
-
- XtVaGetValues(form, XmNwidth, &w, XmNheight, &h, (char *)NULL);
- XtVaGetValues(game, XmNshadowThickness, &gameborder, (char *)NULL);
- XtVaGetValues(goal, XmNshadowThickness, &goalborder,
- XmNleftOffset, &gap,
- (char *)NULL);
-
- gamesz = MIN(h, w * SPLIT_NUMERATOR / SPLIT_DENOMINATOR);
- gamesz = 5*( (gamesz - 2*gameborder)/5 ) + 2*gameborder;
-
- goalsz = MIN(gamesz*3/5, w - gamesz - gap);
- goalsz = 3*( (goalsz - 2*goalborder)/3 ) + 2*goalborder;
-
- x = (w - gamesz - goalsz - gap) / 2;
- if (x < 2) x = 0;
-
- y = (h - gamesz) / 2;
- if (y < 3) y = 0;
-
- XtVaSetValues(game, XmNleftOffset, x, XmNtopOffset, y, (char *)NULL);
- XtVaSetValues(game, XmNwidth, gamesz, XmNheight, gamesz, (char *)NULL);
- XtVaSetValues(goal, XmNwidth, goalsz, XmNheight, goalsz, (char *)NULL);
-}
-