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;
page = 0;
GameListReplace(0); // [HGM] filter: code put in separate routine, and also called to set title
MarkMenu("View.GameList", GameListDlg);
+ EnableNamedMenuItem("File.SaveSelected", TRUE);
}
FILE *
GameListDestroy ()
{
if (glc == NULL) return;
+ EnableNamedMenuItem("File.SaveSelected", FALSE);
PopDown(GameListDlg);
if (glc->strings != NULL) {
char **st;