1673         ModeHighlight(); // make sure XBoard knows it is highlighted, so it will un-highlight it  in InitBackEnd3()
1675         ModeHighlight();  in InitBackEnd3()
3640 			ModeHighlight();  in read_from_ics()
4107                             ModeHighlight();  in read_from_ics()
4552 	ModeHighlight();  in ParseBoard12()
7127 	  ModeHighlight();  in FinishMove()
7180     ModeHighlight();  in FinishMove()
8531 	gameMode = MachinePlaysBlack; ModeHighlight(); // kludge to unmark Machine Black menu  in LoadError()
8532 	gameMode = BeginningOfGame; ModeHighlight();  in LoadError()
9238 	    ModeHighlight();  in HandleMachineMove()
11077 	ModeHighlight();  in SetPlayer()
11548 	ModeHighlight();  in GameEnds()
11555 	ModeHighlight();  in GameEnds()
11679     ModeHighlight();  in GameEnds()
11690 	    ModeHighlight();  in GameEnds()
11831     ModeHighlight();  in Reset()
12842 	ModeHighlight();  in LoadGame()
13170 	ModeHighlight();  in LoadGame()
13403     ModeHighlight();  in LoadPosition()
14288 	ModeHighlight();  in PauseEvent()
14334 	    ModeHighlight();  in PauseEvent()
14339 	    ModeHighlight();  in PauseEvent()
14374 	    ModeHighlight();  in PauseEvent()
14450                 ModeHighlight();  in AnalyzeModeEvent()
14457                 ModeHighlight();  in AnalyzeModeEvent()
14487     ModeHighlight();  in AnalyzeModeEvent()
14524     ModeHighlight();  in AnalyzeFileEvent()
14572     ModeHighlight();  in MachineWhiteEvent()
14649     ModeHighlight();  in MachineBlackEvent()
14810 	gameMode = TwoMachinesPlay; ModeHighlight(); // Needed to make sure menu item is unchecked  in TwoMachinesEvent()
14845     ModeHighlight(); // [HGM] logo: this triggers display update of logos  in TwoMachinesEvent()
14922     ModeHighlight();  in TrainingEvent()
14956     ModeHighlight();  in IcsClientEvent()
15045     ModeHighlight();  in EditGameEvent()
15062     ModeHighlight();  in EditPositionEvent()
15136     ModeHighlight();  in EditPositionDone()