From: H.G.Muller Date: Mon, 19 Oct 2015 16:50:53 +0000 (+0200) Subject: Fix grayout X-Git-Url: http://winboard.nl/cgi-bin?p=xboard.git;a=commitdiff_plain;h=80b7ad96d781916a2964f0e31088dfe04c8fea63 Fix grayout --- diff --git a/gtk/xboard.c b/gtk/xboard.c index 7922133..e269958 100644 --- a/gtk/xboard.c +++ b/gtk/xboard.c @@ -1773,7 +1773,7 @@ void ModeHighlight () { static int oldPausing = FALSE; - static GameMode oldmode = (GameMode) -1; + static GameMode oldMode = (GameMode) -1; char *wname; if (!boardWidget) return; @@ -1791,7 +1791,7 @@ ModeHighlight () } } - wname = ModeToWidgetName(oldmode); + wname = ModeToWidgetName(oldMode); if (wname != NULL) { MarkMenuItem(wname, False); } @@ -1801,7 +1801,7 @@ ModeHighlight () } if(oldMode == TwoMachinesPlay) EnableNamedMenuItem("Mode.MachineMatch", True); MarkMenuItem("Mode.MachineMatch", matchMode && matchGame < appData.matchGames); - oldmode = gameMode; + oldMode = gameMode; /* Maybe all the enables should be handled here, not just this one */ EnableNamedMenuItem("Mode.Training", gameMode == Training || gameMode == PlayFromGameFile); diff --git a/xaw/xboard.c b/xaw/xboard.c index d9f0953..79ffd02 100644 --- a/xaw/xboard.c +++ b/xaw/xboard.c @@ -1817,7 +1817,7 @@ ModeHighlight () { Arg args[16]; static int oldPausing = FALSE; - static GameMode oldmode = (GameMode) -1; + static GameMode oldMode = (GameMode) -1; char *wname; if (!boardWidget || !XtIsRealized(boardWidget)) return; @@ -1843,7 +1843,7 @@ ModeHighlight () } } - wname = ModeToWidgetName(oldmode); + wname = ModeToWidgetName(oldMode); if (wname != NULL) { MarkMenuItem(wname, False); } @@ -1853,7 +1853,7 @@ ModeHighlight () } if(oldMode == TwoMachinesPlay) EnableNamedMenuItem("Mode.MachineMatch", True); MarkMenuItem("Mode.MachineMatch", matchMode && matchGame < appData.matchGames); - oldmode = gameMode; + oldMode = gameMode; /* Maybe all the enables should be handled here, not just this one */ EnableNamedMenuItem("Mode.Training", gameMode == Training || gameMode == PlayFromGameFile);