+ state->timer = XtNameToWidget(form, &tree_strtab[timeDisplay]);
+ XtVaSetValues(state->timer, XmNleftAttachment, XmATTACH_WIDGET,
+ XmNleftWidget, gamearea,
+ XmNtopAttachment, XmATTACH_WIDGET,
+ XmNtopWidget, goalarea,
+ XmNrightAttachment, XmATTACH_FORM,
+ (char *)NULL);
+
+ xcounter_simple_setup(state->timer, timer_text(20000, xc_template));
+ ui_timer_update(state, -1);
+