export: Remove each line's end spaces

Known Issue: Last spaces is not removed.
2021-06-12 23:38:55 +08:00 · 2021-06-12 23:38:55 +08:00 · 0727da134f
parent f517c7a776
commit 0727da134f
1 changed files with 2 additions and 0 deletions
--- a/src/ui/flutter_app/lib/mill/recorder.dart
+++ b/src/ui/flutter_app/lib/mill/recorder.dart
@ -245,6 +245,8 @@ class GameRecorder {
      moveHistoryText = "";
    }

+    moveHistoryText = moveHistoryText.replaceAll('    \n', '\n');
+
    return moveHistoryText;
  }
 }