anchor.diff:      }
   
       void heroInput(Input input) {
  +        if (game_over) {
  +            dg.status.updateStatus(dg.ctx, "Game is over. Please restart");
  +            return;
  +        }
  +
           if (!hero_turn) {
               dg.status.updateStatus(dg.ctx, "Not your turn yet!");
               return;
  
positive.code:                     drawGridSquare(new GridPoint(x,y));
          status.updateStatus(ctx, null);
      }
  }
  
  class DungeonState {
  
negative.code:     dungeon.start();
  
      canvas.onKeyDown.listen( (e) {
          //window.console.debug("Got keyboard event:" + e.toString() + " " + e.keyCode.toString());
          dungeon.keyDown(e);
      });
  
  