anchor.diff:  
   import 'package:risk/communication/server.dart';
   import 'package:risk/communication/messages.dart';
  +
  +const num MAP_MARGIN = 30;
  +const num MAP_PADDING = 20;
   
   final RegExp regexp_stroke = new RegExp('stroke:(#[a-f0-9]{6})');
   World world;
  
positive.code:   CountryPart(this.path);
  }
  
  CanvasElement map;
  CanvasRenderingContext2D ctx;
  CanvasGradient bg_gradient;
  Point mouse_position = null;
  
negative.code:     ctx.restore();
    });
  
    canvas.onClick.listen((MouseEvent ev) {
      if(hoveredCountry != null) {
        highlightedCountry = hoveredCountry;
      } else {
  