From 1fdc1c6a73d3003d66ab285387167a8805639e5d Mon Sep 17 00:00:00 2001 From: Calcitem Date: Sat, 12 Jun 2021 03:14:56 +0800 Subject: [PATCH] import: Allow import , and ; --- src/ui/flutter_app/lib/mill/recorder.dart | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/src/ui/flutter_app/lib/mill/recorder.dart b/src/ui/flutter_app/lib/mill/recorder.dart index 74b771f8..a4395076 100644 --- a/src/ui/flutter_app/lib/mill/recorder.dart +++ b/src/ui/flutter_app/lib/mill/recorder.dart @@ -68,7 +68,12 @@ class GameRecorder { String import(String moveList) { List newHistory = []; - List list = moveList.toLowerCase().replaceAll('\n', ' ').split(' '); + List list = moveList + .toLowerCase() + .replaceAll('\n', ' ') + .replaceAll(',', ' ') + .replaceAll(';', ' ') + .split(' '); for (var i in list) { i = i.trim();