static/pngtile/map.js
changeset 172 73380dd6a816
parent 168 260aa4a05e82
child 175 16ab69a5569a
equal deleted inserted replaced
171:0ff809f855f7 172:73380dd6a816
    72 
    72 
    73     map.on('move', map_move);
    73     map.on('move', map_move);
    74 
    74 
    75     L.tileLayer(map_config.tile_url, {
    75     L.tileLayer(map_config.tile_url, {
    76         tiles_url:          map_config.tiles_url,
    76         tiles_url:          map_config.tiles_url,
       
    77         tiles_mtime:        map_config.tiles_mtime,
    77         minZoom:            0,
    78         minZoom:            0,
    78         maxZoom:            map_config.tile_zoom,
    79         maxZoom:            map_config.tile_zoom,
    79         tileSize:           map_config.tile_size,
    80         tileSize:           map_config.tile_size,
    80         continuousWorld:    true,
    81         continuousWorld:    true,
    81         noWrap:             true,
    82         noWrap:             true,
    85 
    86 
    86     // controls
    87     // controls
    87     L.control.link({
    88     L.control.link({
    88         url:        map_config.image_url,
    89         url:        map_config.image_url,
    89         tiles_url:  map_config.tiles_url,
    90         tiles_url:  map_config.tiles_url,
       
    91         tiles_mtime:        map_config.tiles_mtime,
    90     }).addTo(map);
    92     }).addTo(map);
    91 
    93 
    92     // set position
    94     // set position
    93     var x = bounds.getCenter().lng;
    95     var x = bounds.getCenter().lng;
    94     var y = -bounds.getCenter().lat;
    96     var y = -bounds.getCenter().lat;