anchor.diff:  
       var highScoreStr = null;
       if(_gameManager.highScore != null) {
  -      final ms = _gameManager.highScore;
  -      final seconds = (ms * 0.001);
  -      highScoreStr = seconds.toStringAsFixed(1);
  +      highScoreStr = toRecordString(_gameManager.highScore);
       }
       if(_highScoreStr != highScoreStr) {
         _highScoreStr = highScoreStr;
  
positive.code: 
      var newClockStr = '';
      if(_game.duration != null) {
        newClockStr = _game.duration.inSeconds.toString();
      }
      if(newClockStr != _clockStr) {
        _clockStr = newClockStr;
  
negative.code:     }
    }
  
    static String toRecordString(num milliseconds) {
      return (milliseconds * 0.001).toStringAsFixed(1);
    }
  
    num _getTextSize(CanvasRenderingContext2D ctx) {
      if(_textSize == null) {
        final mets = ctx.measureText(_minesLeftStr);
  