anchor.diff:      }
     }
   
  -  Widget generateBoard() {
  +  Widget buildBoard() {
       bool hasCoveredCell = false;
       List<Flex> flexRows = new List<Flex>();
       for (int iy = 0; iy != 9; iy++) {
  
positive.code:         key: 'flxv'));
    }
  
    Widget generateUI() {
      Widget board = generateBoard();
      String banner = hasWon ?
        'Awesome!!' : alive ?
          'Mine Digger [$detectedCount-$totalMineCount]': 'Kaboom! [press here]';
  
      return new Flex([
        new Container(
          padding: new EdgeDims.all(10.0),
          margin: new EdgeDims.all(10.0),
          decoration: new BoxDecoration(backgroundColor: const Color(0xFFC0C0C0)),
          child: new Listener(
            onPointerDown: handleBannerPointerDown,
            child: new Text(banner))),
        board,
        new Container(
          height: 100.0, width: 100.0,
          decoration: new BoxDecoration(backgroundColor: const Color(0xFFCC1111))
        )
      ],
      direction: FlexDirection.vertical,
      justifyContent: FlexJustifyContent.spaceAround);
    }
  
    void handleBannerPointerDown(sky.PointerEvent event) {
  
negative.code:   }
  
    Widget build() {
      return game.buildUI();
    }
  }
  
  