From 4538b6a6d9a603143003dced0b23fbabb97b3438 Mon Sep 17 00:00:00 2001 From: Calcitem Date: Wed, 2 Dec 2020 01:20:48 +0800 Subject: [PATCH] =?UTF-8?q?flutter:=20=E5=A6=82=E6=9E=9C=E6=98=AFAI?= =?UTF-8?q?=E5=AF=B9=E6=88=98AI=E5=88=99=E7=94=A8=E6=98=BE=E7=A4=BA?= =?UTF-8?q?=E6=AF=94=E5=88=86=E5=8F=96=E4=BB=A3=E6=AD=A3=E5=9C=A8=E6=80=9D?= =?UTF-8?q?=E8=80=83=E7=9A=84=E6=8F=90=E7=A4=BA?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- src/ui/flutter/lib/widgets/game_page.dart | 12 +++++++++++- 1 file changed, 11 insertions(+), 1 deletion(-) diff --git a/src/ui/flutter/lib/widgets/game_page.dart b/src/ui/flutter/lib/widgets/game_page.dart index f5826afc..c416cd62 100644 --- a/src/ui/flutter/lib/widgets/game_page.dart +++ b/src/ui/flutter/lib/widgets/game_page.dart @@ -197,7 +197,17 @@ class _GamePageState extends State { while ((Config.isAutoRestart == true || Game.shared.position.winner == Color.nobody) && Game.shared.isAiToMove()) { - changeStatus(S.of(context).thinking); + if (widget.engineType == EngineType.aiVsAi) { + String score = Game.shared.position.score[Color.black].toString() + + " : " + + Game.shared.position.score[Color.white].toString() + + " : " + + Game.shared.position.score[Color.draw].toString(); + + changeStatus(score); + } else { + changeStatus(S.of(context).thinking); + } final response = await widget.engine.search(Game.shared.position);