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