static void GL_Button P((int n));
static Option gamesOptions[] = {
-{ 200, LR|TB, 400, NULL, (void*) list, NULL, NULL, ListBox, "" },
+{ 200, LR|TB, 400, NULL, (void*) list, NULL, NULL, ListBox, "", &appData.gameListFont },
{ 0, 0, 100, NULL, (void*) &filterPtr, "", NULL, TextBox, "" },
{ 4, SAME_ROW, 0, NULL, (void*) &GL_Button, NULL, NULL, Button, N_("find position") },
{ 2, SAME_ROW, 0, NULL, (void*) &GL_Button, NULL, NULL, Button, N_("narrow") }, // buttons referred to by ID in value (=first) field!
if(lg->number % 2000 == 0) {
char buf[MSG_SIZ];
snprintf(buf, MSG_SIZ, _("Scanning through games (%d)"), lg->number);
- DisplayTitle(buf);
+ DisplayTitle(buf); DoEvents();
}
lg->position = pos;
lg = (ListGame *) lg->node.succ;